Pulse Entdecken nav.journalClub Debatten Trends Forschende

Join discussions, follow papers, and never miss your next session.

Download on theApp Store

Start Entdecken nav.journalClub Trends

⌘+K

P. Madhusudan | Synapse

PM

P. Madhusudan

Formal Methods in Verification

University of Illinois Urbana-Champaign

About

Research focus

Formal Methods in Verification

Impact

174 pubs · 9,780 cites · h-index 43

Affiliations

Work Experience

University of Illinois Urbana-Champaign

2005 - 2025

Vignana Jyothi Institute of Management

2025 - 2025

Goodwin College

2017 - 2017

University of Illinois System

2011 - 2014

California University of Pennsylvania

2002 - 2005

Publications