Madhusudan Parthasarathy
Scholar

Madhusudan Parthasarathy

Google Scholar ID: V828uG8AAAAJ
Professor of Computer Science, University of Illinois at Urbana-Champaign
Reliable systemsformal methodsprogramming languagesprogram synthesislogic in computer science
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
9,666
 
H-index
50
 
i10-index
100
 
Publications
20
 
Co-authors
23
list available
Contact
No contact links provided.
Publications
1 items
Faithful Autoformalization of Natural Language Assertions
2026
Cited
0
Resume (English only)
Co-authors
23 total
Gennaro Parlato
Gennaro Parlato
Full Professor of Computer Science, University of Molise, Italy
Pranav Garg
Pranav Garg
Amazon
Co-author 3
Co-author 3
Daniel Neider
Daniel Neider
TU Dortmund University and Center for Trustworthy Data Science and Security
Azadeh Farzan
Azadeh Farzan
Associate Professor, University of Toronto
Mahesh Viswanathan
Mahesh Viswanathan
University of Illinois, Urbana-Champaign
Sanjit A. Seshia
Sanjit A. Seshia
Professor of EECS, University of California, Berkeley
P.S. Thiagarajan
P.S. Thiagarajan
Visiting Professor, Laboratory of Systems Pharmacology, Harvard Medical School