GET IN TOUCH
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.
Suresh Jagannathan
Principal Scientist
Background
Suresh joined Galois in 2026 as a Principal Scientist. He is also the Samuel D. Conte Professor of Computer Science at Purdue University. His research interests span functional programming, program verification, distributed and concurrent systems, and trustworthy machine learning.
In recent years, Suresh has spent time as an Amazon Scholar, a program manager at DARPA, and a visiting researcher at the University of Cambridge. He serves as an Associate Editor for ACM TOPLAS (Transactions on Programming Languages and Systems), and has served on numerous program committees related to his interests, including serving as PC Chair (2026) and General Chair (2014) for POPL (The ACM Symposium on Principles of Programming Languages). He received his Ph.D from MIT.
