Skip to main content

more options


Welcome to my homepage!

I'm a PhD candidate at the Computer Science department of Cornell University. I work with Prof. Robert Constable on the meta-theory of Proof Assistants, 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.

. CV (last updated : 13 Jan. 2016)