Iris Project
Description: I'm Tej Chajed, an assistant professor at the University of Wisconsin-Madison.
computer science (1249) mit (894) tej (14) chajed (1)
I'm Tej Chajed, a recent PhD graduate from the PDOS group at MIT, 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.
I'm excited to join the University of Wisconsin-Madison as an assistant professor in Fall 2023! Before starting I'll be at VMware Research for a one-year postdoc.
Iris Project