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)
CPP 2021 Session Chair of Invited Talk (part of CPP 2021)
Author of Chairs' report and community meeting within the CPP 2021-track
Co-chair in Program Committee within the CPP 2021-track
PC Co-Chair in Organization Committee within the CPP 2021-track
CPP 2019 Session Chair of Research Papers: Rewriting, Automated Reasoning (part of CPP 2019)
Committee Member in Program Committee within the CPP 2019-track
POPL 2019 Author of Bindings as Bounded Natural Functors within the Research Papers-track
ICFP 2017 Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL within the Tutorials-track
Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 2) within the Tutorials-track
Presenter of Tutorial T2: Certified Functional (Co)programming with Isabelle/HOL (part 3) within the Tutorials-track
POPL 2018 Author of Safety and Conservativity of Definitions in HOL and Isabelle/HOL within the Research Papers-track
Author of Programming and Reasoning with Infinite Data in Isabelle/HOL. within the TutorialFest-track
CPP 2016 Committee Member in Program Committee within the CPP-track
ESOP 2015 Author of Witnessing (Co)datatypes within the ESOP-track