Welcome to Tej Chajed, Assistant Professor focusing on systems verification
Tej Chajed joins the UW–Madison Computer Sciences department from a postdoctoral position at VMware Research. His research focus is systems verification, and he is “working on tools to make it easier to prove that a distributed system eventually makes progress and processes requests.” He was attracted to UW–Madison because of the people in the department …