Joseph Tassarotti home
CV (November 2021)

Note: As of July 1st, 2022 I have moved to New York University. This website at Boston College is out of date. You should be re-directed to my new site shortly

I'm an assistant professor in the CS Department at the Courant Institute of New York University. 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. Before coming to NYU I was an assistant professor at Boston College for a few years.



At Boston College:


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