Madhusudan Parthasarathy

Madhusudan Parthasarathy is a Professor in the Department of Computer Science at the University of Illinois at Urbana-Champaign, College of Engineering. His research focuses on software verification, formal methods, and logic in computer science, with significant contributions to trustworthy AI systems, program synthesis, and security.

• Ph.D. in Theoretical Computer Science (2002), Institute of Mathematical Sciences, University of Madras

Research interests include automating software verification, building correct-by-design systems, and exploring synergies between machine learning and program synthesis. He pioneered visibly pushdown languages, impacting XML processing and program verification. His tools like VEX and Strand advanced security and heap reasoning.

Recent articles focus on blockchain verification, timed automata, and learning logics from data. His work has been widely cited, with the visibly pushdown language paper alone generating over 940 scholarly entries.

• Best Paper Award, 19th USENIX Security Symposium (2010)

He has advised numerous students and postdocs, with former advisees now at institutions like Purdue University and Google. His outreach initiatives include the ConTraIL privacy-preserving contact tracing project and the MASSIVELY EMPOWERED CLASSROOMS MOOC platform for Indian undergraduates.

He teaches courses like CS 521: Advanced Topics in Programming Systems and CS 474: Logic in Computer Science, while actively serving on program committees for top-tier conferences such as POPL and PLDI.