Scholar
Madhusudan Parthasarathy
Google Scholar ID: V828uG8AAAAJ
Professor of Computer Science, University of Illinois at Urbana-Champaign
Citations & Impact
Citations
2,925
H-index
24
i10-index
67
Publications
20
Co-authors
23
list available
Contact
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- Developed multiple software tools such as VCDryad, Dryad, Strand, Getafix, VEX, Penelope, VAC, JIST; published numerous papers at conferences including OOPSLA'23, PLDI'24, FMCAD 2019, IJCAI'22, POPL'22, OOPSLA'22, POPL 2012, PLDI 2013, PLDI 2014, POPL 2018, ESOP'20, etc.
Research Experience
- Current research projects mainly focus on automating software verification and building correct-by-design systems, trustworthy and safe systems that use AI/ML components, and exploring synergies between machine learning and program synthesis for building intelligent systems. Previous research projects involved decidable logics for reasoning with heaps/dynamic data structures, security of web browser extensions, testing concurrent programs, security of access control, etc.
Background
- Research interests include software verification and formal methods, interpretable, robust, trustworthy AI systems, program synthesis and machine learning, security and privacy, logic and automata theory.
Miscellany
- Personal interests include addressing practical computing domains through a theoretical lens (mainly logic, learning, algorithms) and he is actively looking for Ph.D. students interested in the following areas: trustworthy AI systems, predictable verification, the science and practice of building verified distributed systems, using LLMs to support writing formal specifications and proving theorems, program synthesis from natural language specifications, learning logics, etc.
