|
|
|
|
||||||||
Research Interests: Program analysis and verification. In particular, analysis of infinite-state systems, shape analysis, and the use of machine learning in program analysis.
Recent Items of Note
On August 17th, 2006, I defended my thesis, entitled "Refinement-based program verification via three-valued-logic analysis". In mid-October, I started working as Postdoctoral Researcher at IBM T.J. Watson Research Center in Hawthorne, NY.
|