Pulse 탐색 nav.journalClub 토론 트렌드 연구자

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

Download on theApp Store

홈 탐색 nav.journalClub 트렌드

⌘+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