Skip to main content

more options


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)