Patrick Cousot - SPLASH 2020

Sun 15 - Sat 21 November 2020 Online Conference

Registered user since Tue 22 Jan 2019

Name: Patrick Cousot

Country: United States

Affiliation: New York University

Contributions

LPOP 2020	Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It? Logic in Program Analysis and Verification
SAS 2020	Session Chair of 3 (part of SAS) Committee Member in Program Committee within the SAS-track Session Chair of 5 (part of SAS) Session Chair of 1 (part of SAS)
Show activities from other conferences

SPLASH 2020-profile
View general profile