Joseph Tassarotti home

I am a third year Ph.D. student in the Computer Science Department at CMU. My advisor is Robert Harper. I'm interested in programming languages, formal verification, and mathematical logic.

As an undergraduate, I worked with Greg Morrisett as part of the GoNative project. I spent the summer of 2014 as an intern at MPI-SWS, advised by Derek Dreyer and Viktor Vafeiadis. In the summer of 2013, I interned at Oracle Labs working with Guy Steele and Jean-Baptiste Tristan. The summer before that, I was an intern at Inria as a member of the Gallium team under the supervision of Xavier Leroy.