Tej Chajed

Tej Chajed is an Assistant Professor in the Department of Computer Sciences at the University of Wisconsin-Madison, focusing on formal verification of systems software. His research bridges theoretical foundations and practical implementations to ensure software correctness in concurrent and crash-safe systems.

Research interests include formal verification, concurrency, crash safety, and programming languages, particularly using Coq, Perennial, and Goose frameworks. He has contributed to systems like DaisyNFS, a verified file system with sequential reasoning, and Verus, a foundation for systems verification. His work appears in top venues like SOSP, OSDI, and PLDI.

• 2025: Dafny PC Member
• 2024: PLDI Committee Member, CoqPL Co-chair
• 2023: CoqPL Co-chair, POPL Program Committee

He actively mentors students and develops tools for systems verification education, including extensive Coq-based course materials.