Tej Chajed
tchajed@mit.edu
I'm Tej Chajed, a sixth-year PhD student in
PDOS at MIT CSAIL, advised by Frans
Kaashoek and Nickolai Zeldovich. I work on formal verification of systems
software — I implement systems and prove they do what they're
supposed to.
Before coming to MIT I was at UIUC, where I got undergraduate degrees
in Electrical Engineering and Computer Science.
Research
Even critical systems software has bugs — for
example, file systems have bugs that occasionally lead to users losing data. My
research aims to write systems software that always does what it's supposed to.
We do this with formal verification: we write a precise specification of what
the system is supposed to do and prove that the implementation meets the
specification. These proofs are implemented and checked using a computer with
the Coq proof assistant, giving us high assurance that the proofs are correct.
So far my work has centered around a theme of storage systems and concurrency,
including a verified file system (FSCQ) and a framework that combines
concurrency and crash-safety reasoning.
I do a lot of work on Coq-related things, including maintaining a
list of Coq tricks for
the advanced user.
Publications
Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, and Nickolai Zeldovich
Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, and Nickolai Zeldovich
Tahina Ramananandro, Antoine Delignat-Lavaud, Cédric Fournet, Nikhil Swamy, Tej Chajed, Nadim Kobeissi, and Jonathan Protzenko
Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, and Nickolai Zeldovich
Tej Chajed, M. Frans Kaashoek, Butler Lampson, and Nickolai Zeldovich
Atalay İleri, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, and Nickolai Zeldovich
Haogang Chen, Tej Chajed, Alex Konradi, Stephanie Wang, Atalay İleri, Adam Chlipala, M. Frans Kaashoek, and Nickolai Zeldovich
Tej Chajed, Adam Chlipala, M. Frans Kaashoek, and Nickolai Zeldovich
Tej Chajed, Haogang Chen, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich, and Daniel Ziegler
Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, and Nickolai Zeldovich
Tej Chajed, Jon Gjengset, Jelle van den Hooff, M. Frans Kaashoek, James Mickens, Robert Morris, and Nickolai Zeldovich
Service
How to pronounce my name
"Tej" rhymes with "page", and Chajed is pronounced as written (CHA-jed).
