Program analysis and verification. In particular, analysis
of infinite-state systems, shape analysis, and
the use of machine learning in program analysis.
Items of Note
On August 17th, 2006, I defended my thesis, entitled
verification via three-valued-logic analysis".
In April of 2008, after a year and a half at IBM T.J. Watson Research Center,
I joined GrammaTech, a company
that performs research on program analysis and transformations, and
produces several commercially successful products, most notably the
highly-scalable bug and vulnerability detection tool
and the deep-analysis infrastructure
GrammaTech is located in beautiful Ithaca, NY.