Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
P. Madhusudan

Registered user since Tue 19 Apr 2016

Name: P. Madhusudan

Country: United States

Affiliation: University of Illinois at Urbana-Champaign

Personal website: http://madhu.cs.illinois.edu

Research interests: Software verification, Certified software, Security

Contributions

POPL 2019 Decidable Verification of Uninterpreted Programs
Session Chair of Model Checking (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
Show activities from other conferences

POPL 2019-profile
View general profile