S
Sam Tobin-Hochstadt
Director of Undergraduate Studies for Computer Science
Research Interests
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Software Engineering Research
Software Testing and Debugging Techniques