معرفی
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.
۰مقاله منتشرشده
