Write a Blog >>
POPL 2020
Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States
POPL 2020 (series) / Peter O'Hearn

Registered user since Thu 24 May 2018

Name: Peter O’Hearn

Affiliation: Facebook

Personal website: http://www0.cs.ucl.ac.uk/staff/p.ohearn/

Contributions

ADSL 2020Committee Member in Program Committee within the ADSL 2020-track
HASE 2020Speaker of Interactive Knowledge Shares within the HASE 2020-track
POPL 2020Author of Incorrectness Logic within the Research Papers-track
Show activities from other conferences

Using general profile