|Curriculum Vitae||PDF HTML|
|Research Statement||PDF HTML|
|Teaching Statement||PDF HTML|
|Diversity Statement||PDF HTML|
I am a researcher at Stevens Institute where I recently moved with my post-doctoral advisor Eric Koskinen from Yale. My research aims to make it easier to develop safe and secure software. I develop new techniques useful for automating software development tasks. As part of a DARPA STAC team headed by Michael Hicks, I research program analyses to identify side-channel vulnerabilities, complexity attacks, and information leaks [PLDI 2017]. Continuing research begun in graduate school at NYU, I develop analyses and tools to enable support for C programs with real-world preprocessor and Makefile usage [PLDI 2012, ESEC/FSE 2017]. Such usage typically impedes bugfinding, code browsing, and other software tools. Most recently, I have been interested in safe and correct programming for concurrent and distributed systems, in particular, blockchain smart contracts [PODC 2017].
Here is my Curriculum Vitae (as of 11/2017).