Welcome to my homepage!I'm a postdoctoral associate at the Computer Science department of Cornell University. I work with Prof. Ross Knepper on using Proof Assistants to develop trustworthy robotic systems, and with Prof. Greg Morrisett on using Proof Assistants to develop trustworthy compilers.
During my PhD, I worked with Prof. Robert Constable on the meta-theory of Proof Assistants.
. CV (last updated : 13 Jan. 2016)