Joseph Tassarotti home
Email: joseph.tassarotti@bc.edu
CV (April 2019)

I'm an assistant professor in the Computer Science Department at Boston College. I'm interested in programming languages and formal verification, particularly for concurrent and randomized programs.

I received my Ph.D. from CMU, where I was advised by Robert Harper. I was then a post-doc in the PDOS group at MIT, where I retain a research affiliate position.

Teaching

Papers

Notes