skip to main content

Madhusudan Parthasarathy

Madhusudan Parthasarathy
Madhusudan Parthasarathy

Madhusudan Parthasarathy

(217) 244-1323
3226 Siebel Center for Comp Sci

For more information


  • 2002 Ph.D., Theoretical Computer Science, Institute of Mathematical Sciences, University of Madras, Chennai, India.

Professional Highlights

  • Defined a formal language class called visibly pushdown languages (also called nested word languages. This has had a tremendous impact in academia (see Wikipedia page entries: ). This has not just been widely cited, but has defined a new model that people have extensively studied (see for a Google Scholar search for "nested words" OR "visibly pushdown" that lists more than 940 entries). The class of visibly pushdown languages is an insertion into the Chomsky hierarchy, falling between regular languages and deterministic context-free languages, but which possesses most closure properties that regular languages have while yet remaining tractable. In particular, the inclusion problem is decidable and this has led to applications ranging from XML processing to program verification to programming languages.

Research Interests

  • Reasoning with heaps in software verification (Natural proofs, Strand, separation logic);
  • Software Verification; Reliable and secure software engineering; Security; Program Synthesis; Logic and Automata Theory.

Articles in Conference Proceedings

Other Scholarly Activities

  • Visited Microsoft Research, India during sabbatical (2012-2013). Helped initiate a very large MOOC platform for India, called MASSIVELY EMPOWERED CLASSROOMS. This massive online classroom setting is a unique blended classroom meant for undergraduate students in India. Undergraduate colleges in India have a huge quality problem. The blended classroom allows tens of thousands of students in India to access quality lectures and class material that is synchronized with their study. Huge grassroots movement to engage teachers, involve them in the platform, incentivize colleges to participate, and certificate program to incentivize students to take the course to get jobs. Organized and partially lectured the first course on the platform as well. The program has been a huge success with a large number of courses and tens of thousands of undergraduate students each semester.

Courses Taught

  • CS 173 - Discrete Structures
  • CS 421 - Progrmg Languages & Compilers
  • CS 477 - Formal Software Devel Methods
  • CS 498 - Logic
  • CS 498 - Logic in Computer Science
  • CS 498 - Special Topics
  • CS 598 - Special Topics
  • ECE 478 - Formal Software Devel Methods