MIT CSAIL, 32-G736
32 Vassar St
Cambridge, 02139 MA
I did my PhD in Thomas A. Henzinger's group at the Institute of Science and Technology Austria (IST Austria).
My research interests lies in program analysis and verification, automated reasoning, theorem proving, and programming languages.