Generic Bio

At present I'm a third year graduate student at the University of Virginia. My research area is Programming Languages, which makes my advisor Westley R. Weimer. My research interests lie in static program analyses, in particular when somehow related to software model checking for concurrent and distributed software.

Before coming to UVa I obtained my bachelor's from Colgate University in May 2006. My thesis adviser was Toshiro K. Ohsumi, and my thesis was on distributed spatial data structures. I graduated magna cum laude with high honors in computer science.

If you're still reading, then you should know that the preceding paragraphs constitute the most exciting part of this website. If you're interested in more personal details, have a look at www.faldara.com.

Current Résumé

The current version of my résumé is available here (PDF). It elides a lot of the slightly less interesting things I did during undergrad (thereby doing its name justice). Please let me know if you're interested in the details.

Recent Coursework

Spring 2008 CS 851 — Temporal Issues in Computing

Fall 2007 CS 651 — Principles of Cryptography CS 851 — Web Application Security Seminar MATH 551 — Advanced Linear Algebra

Spring 2006 CS 661 — Algorithms CS 656 — Operating Systems

Fall 2006 CS 661 — Theory of Computation CS 615 — Design And Analysis Of Programming Languages CS 654 — Computer Organization