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

Publications

1 items

Faithful Autoformalization of Natural Language Assertions

2026

Cited

0

Co-authors

12 total

Gennaro Parlato

Full Professor of Computer Science, University of Molise, Italy

TU Dortmund University and Center for Trustworthy Data Science and Security

Associate Professor, University of Toronto

Mahesh Viswanathan

University of Illinois, Urbana-Champaign

Sanjit A. Seshia

Professor of EECS, University of California, Berkeley

P.S. Thiagarajan

Visiting Professor, Laboratory of Systems Pharmacology, Harvard Medical School

Purdue University