Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Andrei Popescu

Registered user since Thu 9 Apr 2015

Name: Andrei Popescu

Bio: Current position: Senior Lecturer at the University of Sheffield

Ph.D. in computer science in 2010 from the University of Illinois at Urbana-Champaign

Ph.D. in mathematics in 2006 from the University of Bucharest

Country: United Kingdom

Affiliation: University of Sheffield

Personal website: http://www.andreipopescu.uk/

Research interests: proof assistants, inductive and coinductive datatypes, automated deduction, syntax with bindings, information flow security

Contributions

CPP 2021 Session Chair of Invited Talk (part of CPP 2021)
Chairs' report and community meeting
Co-chair in Program Committee within the CPP 2021-track
PC Co-Chair in Organization Committee within the CPP 2021-track
Show activities from other conferences

POPL 2021-profile
View general profile