Joseph Tassarotti home

I am a sixth 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.

I live in the Boston area now, and I am spending my time with the PDOS group at MIT. I will start as a post-doc there in 2019.

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