Andrei Popescu - POPL 2022

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