S
Suresh Jagannathan
Samuel D. Conte Professor of Computer Science
Research Interests
Distributed Systems
Programming Languages and Compilers
Distributed Systems and Fault Tolerance
Parallel Computing and Optimization Techniques
Logic, Programming, and Type Systems
Formal Methods in Verification
Software Engineering Research