Suresh Jagannathan
Scholar

Suresh Jagannathan

Google Scholar ID: TV7PlNUAAAAJ
Samuel D. Conte Professor of Computer Science, Purdue University
Programming LanguagesProgram VerificationFunctional ProgrammingConcurrent and Distributed Systems
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,157
 
H-index
21
 
i10-index
41
 
Publications
20
 
Co-authors
0
 
Contact
Emailsuresh@cs.purdue.edu
Publications
11 items
Generalizable Multi-Agent Planning from Signal Temporal Logic Specifications via Diffusion
2026
Cited
0
Liquid Tree Automata
2026
Cited
0
Trace-Guided Synthesis of Effectful Test Generators
2026
Cited
0
Graph-of-Constraints Model Predictive Control for Reactive Multi-agent Task and Motion Planning
2026
Cited
0
From Traces to Program Incorrectness: A Type-Theoretic Approach
2025
Cited
0
Type-Based Incorrectness Reasoning
2025
Cited
0
Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity
2025
Cited
0
We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
2025
Cited
0
Resume
Academic Achievements
  • - Professional Service:
  • * ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) 2026 PC chair
  • * European Conference on Object-Oriented Programming (ECOOP) 2024 PC member
  • * ACM SIGPLAN Conference on Programming Language Design and Implementations (PLDI) 2024 PC member
  • * ACM SIGPLAN Symposium on Principles of Programming Languages (POPL) 2023 PC member
  • * ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2022 PC member
  • - Current Students and Post-Doctoral Researchers:
  • * Joseph Eappen, Rachit Kumar, Aadi Rave (undergraduate), Anmol Sahoo, Asha Soroushpoor, Kartavya Vashishtha (undergraduate), Zikang Xiong, Yongwei Yuan, Zhe Zhou, Julia Belyakova (post-doc)
  • - Former Students and Post-Doctoral Researchers:
  • * Ashish Mishra (post-doc), 2023 (IIT-Hyderabad)
  • * Kia Rahmani, 2022 (Durable AI)
  • * Gowtham Kaki, 2020 (U. Colorado)
  • * Kartik Nagar (post-doc), 2019 (IIT-Madras)
  • * Mahsa Najafzadeh (post-doc), 2018 (Microsoft)
  • * He Zhu, 2016 (Rutgers)
  • * Gustavo Petri (post-doc), 2015 (Amazon)
  • * K.C. Sivaramakrishnan, 2014 (Tarides)
  • * Dasarath Weeratunge, 2012 (Intel)
  • * Lukasz Ziarek, 2011 (SUNY Buffalo)
  • * Armand Navabi, 2011 (Google)
  • * Nicholas Kidd (post-doc), 2010 (Google)
  • * Muralikrishna Ramanathan, 2008 (Amazon)
  • * Deepak Rao Bobbarjung, 2007 (Uber)
  • * Ronaldo Ferreria, 2006 (Universidade Federal de Mato Grosso Do Sul, Brazil)
  • * Adam Welc, 2006 (Mysten Labs)
Research Experience
  • - Teaching Experience: Fall 2025 - Programming Languages (undergraduate); Spring 2025 - Programming Languages (graduate)
Background
  • - Research Interests: Design, Implementation, Semantics, and Analysis of Programming Languages; Program Verification, Analysis, and Synthesis; Functional Programming and Type Systems; Concurrent and Distributed Programming; Machine Learning and Programming Languages
  • - Position: Samuel D. Conte Professor
  • - Department: Computer Science, Purdue University