About
Tej Chajed is an Assistant Professor in the Department of Computer Science at the University of Wisconsin-Madison. His research focuses on formal verification of systems software, particularly addressing concurrency and crash safety in file systems and distributed protocols.
0Publications listed
Find Tej Chajed elsewhere
Related Searches
You Might Also Like
Tej ChajedMax Planck Institute for Security and Privacy · Assistant Professor
Tej ChajedInria · Assistant Professor
Frans KaashoekMassachusetts Institute of Technology · Professor- NNickolai ZeldovichMassachusetts Institute of Technology · Professor
Gerhard SchellhornUniversity of Augsburg · Researcher
Elsa L GunterInria · Research Professor