Joseph Tassarotti home
I am a second 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. 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 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.


Papers

Teaching

Blog Posts