Joseph Tassarotti home

I am a fifth year Ph.D. student in the Computer Science Department at CMU. My advisor is Robert Harper. 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.




Blog Posts