Joseph Tassarotti home
Email: joseph.tassarotti@bc.edu
CV (October 2021)

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

Support

My work is supported by NSF grants 2035314, 2106559, 2123842, and a gift from Oracle Labs.

Notes