SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
SPLASH 2020 (series) / Patrick Cousot
Patrick Cousot

Registered user since Tue 22 Jan 2019

Name: Patrick Cousot

Country: United States

Affiliation: New York University

Contributions

LPOP 2020Panelist of Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It? within the LPOP 2020-track
Author of Logic in Program Analysis and Verification within the LPOP 2020-track
SAS 2020Session 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