I am a second year Ph.D. student in the Computer Science Department at CMU. My
advisor is Robert Harper
interested in programming languages, formal verification, and mathematical logic.
As an undergraduate, I worked with Greg Morrisett
as part of the GoNative
project. Last summer, I
was an intern at MPI-SWS
, advised by Derek Dreyer
and Viktor Vafeiadis
. In the summer of
2013, I interned at Oracle Labs
. The summer before that, I was an intern at Inria
as a member of the Gallium
team under the supervision of Xavier Leroy
- RockSalt: Better, Faster, Stronger SFI for the x86.
G. Morrisett, G. Tan, J. Tassarotti, J.B. Tristan, and E. Gan.
ACM Conference on Programming Language Design and Implementation (PLDI '12), Jun. 2012.