OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
P. Madhusudan
Full Professor, Siebel Center for Computing and Data Science, University of Illinois, Urbana-Champaign
Joined
July 2019
Names
P. Madhusudan
(Preferred)
,
Madhusudan Parthasarathy
,
Parthasarathy Madhusudan
Emails
****@illinois.edu
(Confirmed)
Personal Links
Homepage
Google Scholar
DBLP
ORCID
Semantic Scholar
Career & Education History
Full Professor
Siebel Center for Computing and Data Science,
University of Illinois, Urbana-Champaign
(illnois.edu)
2018
–
Present
Associate Professor
Siebel Center for Computing and Data Science,
University of Illinois, Urbana Champaign
(illinois.edu)
2011
–
2018
Assistant Professor
Siebel Center for Computing and Data Science,
University of Illinois, Urbana Champaign
(illinois.edu)
2005
–
2011
Postdoc
Computer and Information Sciences,
University of Pennsylvania
(upenn.edu)
2002
–
2005
PhD student
Institute of Mathematical Sciences, Chennai, India
(imsc.res.in)
1996
–
2002
Advisors, Relations & Conflicts
Postdoc Advisor
Rajeev Alur
2002
–
2005
PhD Advisor
Ramanujam Ramaswamy
1996
–
2002
Expertise
neurosymbolic learning
2019
–
2021
program syntheiss
1999
–
2021
Publications
Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination
Adithya Murali
,
Atharva Sehgal
,
Paul Krogmeier
,
P. Madhusudan
2022 (modified: 30 Dec 2022)
IJCAI 2022
Readers:
Everyone
Syntax-Guided Synthesis
Rajeev Alur
,
Rastislav Bodík
,
Eric Dallal
,
Dana Fisman
,
Pranav Garg
,
Garvit Juniwal
,
Hadas Kress-Gazit
,
P. Madhusudan
,
Milo M. K. Martin
,
Mukund Raghothaman
,
Shambwaditya Saha
,
Sanjit A. Seshia
,
Rishabh Singh
,
Armando Solar-Lezama
,
Emina Torlak
,
Abhishek Udupa
2015 (modified: 24 Apr 2023)
Dependable Software Systems Engineering 2015
Readers:
Everyone
Software model checking using languages of nested trees
Rajeev Alur
,
Swarat Chaudhuri
,
P. Madhusudan
2011 (modified: 07 May 2026)
ACM Trans. Program. Lang. Syst. 2011
Readers:
Everyone
Adding nesting structure to words
Rajeev Alur
,
P. Madhusudan
Published: 01 Jan 2009, Last Modified: 12 May 2023
J. ACM 2009
Readers:
Everyone
Automatic symbolic compositional verification by learning assumptions
Wonhong Nam
,
P. Madhusudan
,
Rajeev Alur
Published: 01 Jan 2008, Last Modified: 12 May 2023
Formal Methods Syst. Des. 2008
Readers:
Everyone
Languages of Nested Trees
Rajeev Alur
,
Swarat Chaudhuri
,
P. Madhusudan
2006 (modified: 07 May 2026)
CAV 2006
Readers:
Everyone
A fixpoint calculus for local and global program flows
Rajeev Alur
,
Swarat Chaudhuri
,
P. Madhusudan
2006 (modified: 07 May 2026)
POPL 2006
Readers:
Everyone
Modular strategies for recursive game graphs
Rajeev Alur
,
Salvatore La Torre
,
P. Madhusudan
Published: 01 Jan 2006, Last Modified: 12 May 2023
Theor. Comput. Sci. 2006
Readers:
Everyone
Adding Nesting Structure to Words
Rajeev Alur
,
P. Madhusudan
Published: 01 Jan 2006, Last Modified: 12 May 2023
Developments in Language Theory 2006
Readers:
Everyone
On-the-Fly Reachability and Cycle Detection for Recursive State Machines
Rajeev Alur
,
Swarat Chaudhuri
,
Kousha Etessami
,
P. Madhusudan
2005 (modified: 07 May 2026)
TACAS 2005
Readers:
Everyone
View all 23 publications
Co-Authors
Abhishek Udupa
Adithya Murali
Armando Solar-Lezama
Atharva Sehgal
Dana Fisman
Emina Torlak
Eric Dallal
Garvit Juniwal
Hadas Kress-Gazit
Kousha Etessami
Mahesh Viswanathan
Mikhail Bernadsky
Milo M. K. Martin
Mukund Raghothaman
Paul Krogmeier
Pavol Cerný
Pranav Garg
Rajeev Alur
Rastislav Bodík
Rishabh Singh
Salvatore La Torre
Sanjit A. Seshia
Shambwaditya Saha
Swarat Chaudhuri
Viraj Kumar
View all 26 co-authors