Regular biography
Joseph Tassarotti is an Assistant Professor in the Department of Computer Science at New York University's Courant Institute. His research focuses on programming languages and formal verification, particularly for concurrent and randomized programs. Tassarotti received his Ph.D. in Computer Science from Carnegie Mellon University, where he was advised by Robert Harper. He has held postdoctoral positions at MIT and was previously an assistant professor at Boston College. Tassarotti is also an Amazon Scholar and has been recognized as a 2026 Sloan Research Fellow. His work includes contributions to the verification of probabilistic programs and differential privacy.
Scholar-generated biography
Joseph Tassarotti is an Assistant Professor at New York University, specializing in Programming Languages and Formal Verification. His research focuses on developing formal methods for verifying the correctness of concurrent and crash-safe systems. He has contributed to the design of tools and frameworks for interactive proofs in separation logic, as well as the verification of systems such as GoJournal and DaisyNFS. His work addresses challenges in concurrency, probabilistic reasoning, and resource management, with applications in distributed systems and randomized algorithms. Tassarotti's research emphasizes the integration of logical frameworks with practical verification techniques to ensure the reliability of complex software systems.