Joseph Tassarotti home
CV (April 2019)

I recently obtained my Ph.D. from the Computer Science Department at CMU, where I was advised by Robert Harper. I am now a post-doc in the PDOS group at MIT. I'm interested in programming languages and formal verification, particularly for concurrent and randomized programs.

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.