Madhusudan Parthasarathy

Madhusudan Parthasarathy is a Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign, part of the College of Engineering. His research focuses on bridging theoretical logic with practical software systems, particularly in verification, trustworthy AI, and program synthesis.

Research Interests:

• Software verification and formal methods
• Interpretable, Robust, and Trustworthy AI systems
• Program synthesis and machine learning
• Security and privacy
• Logic and automata theory
• Verified distributed systems (e.g., blockchains, smart contracts)
• Learning logical concepts from data

His recent work emphasizes building correct-by-design systems, especially those incorporating AI/ML, and developing automated techniques for proving program correctness. He has developed influential tools such as VCDryad, Dryad, Strand, JIST, and Getafix. His publications span top venues like POPL, PLDI, CAV, and OOPSLA, with a strong trend toward integrating machine learning with formal reasoning, verifying ML systems, and synthesizing programs from specifications.

Scientific Service:

• PC Member: POPL 2025, PLDI 2024, FSTTCS 2023, CONCUR 2023, OOPSLA 2022, CAV 2016, ICALP 2016
• PC Chair: CAV 2012
• ERC Member: PLDI 2017, POPL 2017
• Co-chair: SYNT 2015

He actively mentors PhD students and postdoctoral researchers, with former advisees now at institutions like Purdue University, Google, and UT Austin. He has taught advanced courses such as CS521: Trustworthy AI Systems and CS474: Logic in Computer Science. His work is supported by collaborations across institutions, including the ExCAPE project with Illinois and UCLA.