معرفی
Joseph Tassarotti serves as an Assistant Professor of Computer Science at New York University's Courant Institute of Mathematical Sciences. He received his Ph.D. in Computer Science from Carnegie Mellon University in 2019 and maintains an active research program focused on programming languages and formal verification.
Dr. Tassarotti's research interests center on programming languages, formal verification, and systems with specific expertise in automated reasoning. His work bridges theoretical foundations with practical applications in software reliability and correctness, particularly in probabilistic systems where traditional verification approaches face significant challenges.
His recent research, recognized by the 2023 Amazon Research Award for "Asynchronous Couplings for Probabilistic Relational Reasoning in Dafny," demonstrates innovative approaches to verifying probabilistic programs. This work addresses fundamental challenges in reasoning about probabilistic algorithms where traditional deterministic verification techniques cannot be directly applied.
Scientific Awards:
- 2023 Amazon Research Award for Asynchronous Couplings for Probabilistic Relational Reasoning in Dafny
As a junior faculty member who completed his PhD in 2019, Dr. Tassarotti is actively establishing his research program and mentoring relationships. His Amazon Research Award indicates successful grant acquisition that supports his work in formal methods. While specific laboratory or team information isn't provided in the available materials, his research likely involves collaboration with both undergraduate and graduate students at NYU.
