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
Research interests:proof assistants, inductive and coinductive datatypes, automated deduction, syntax with bindings, information flow security

Contributions

CPP 2022 PC Chair in Organization Committee within the CPP 2022-track
Session Chair of Formalization of Logic, Algebra and Geometry (part of CPP 2022)
Committee Member in Steering Committee within the CPP 2022-track
PC Chair in Program Committee within the CPP 2022-track
Session Chair of Welcome from the chairs (part of CPP 2022)
Session Chair of Invited Talk (part of CPP 2022)
Session Chair of Chairs' Report and Business Meeting (part of CPP 2022)
Show activities from other conferences

POPL 2022-profile
View general profile