Generate a tailored SOP for Dr. Tej Chajed. Improve your application with a focused, well-structured draft.
Tej Chajed is an assistant professor in the Department of Computer Science at the University of Wisconsin-Madison, specializing in formal verification of systems software. His research focuses on ensuring that systems software operates as intended by creating formal specifications and proving that the implementations meet these specifications. Noteworthy projects include DaisyNFS, a verified concurrent file system that efficiently manages performance and safety. Before joining the University of Wisconsin-Madison, Chajed completed a postdoctoral researcher position at VMware Research. He earned his PhD from the Massachusetts Institute of Technology (MIT), where he was part of the Parallel Distributed Operating Systems group. He is also passionate about technical communication and has supported students in developing their skills in writing and presenting complex technical ideas. Chajed has taught several courses, including Systems Verification and Operating Systems, and has held roles as a teaching assistant for various classes. His publications cover a range of topics within systems verification and have been presented at notable conferences such as OSDI, SOSP, and CAV.
University of Wisconsin-Madison • Madison, WI
Teaches courses on systems verification and oversees research projects.
VMware Research •
Worked on advanced research in concurrent systems.
Department: Department of Computer Sciences