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

POPL 2024	Committee Member in Program Committee within the POPL-track
CPP 2024	Steering Committee Member in Steering Committee within the CPP 2024-track
POPL 2023	Author of Admissible Types-to-PERs Relativization in Higher-Order Logic within the POPL-track Author of Isabelle/HOL: Foundations, Induction, and Coinduction within the TutorialFest-track
CPP 2023	Committee Member in Steering Committee within the CPP 2023-track
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
POPL 2019	Author of Bindings as Bounded Natural Functors within the Research Papers-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 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
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
CPP 2016	Committee Member in Program Committee within the CPP-track
ESOP 2015	Author of Witnessing (Co)datatypes within the ESOP-track