Tej Chajed is a fifth-year computer science PhD student in the Parallel and Distributed Operating Systems (PDOS) group. He dabbled in electrical engineering, computer science, and math in undergrad. Now, he works in formal verification, writing systems software and then proving that the software always does the right thing. He especially enjoys preparing and delivering presentations.
Outside of work, Tej enjoys reading, running, and games — video games, board games, and game theory. His favorite auction is the second-price auction, and his favorite election system is random dictatorship.