Andrei Popescu

Senior Lecturer

Computer Science

Middlesex University

Software Verification, Theorem Proving, Inductive and Coinductive Datatypes, Security

Andrei is a senior lecturer at the Middlesex University London, School of Science and Technology, in the Foundations of Computing Group led by Rajagopal Nagarajan. Previously, he worked as a researcher at the Informatics Institute, Technical University Munich. He holds a Ph.D. in computer science from the University of Illinois at Urbana-Champaign.

Andrei is a co-designer of Isabelle's new inductive and coinductive datatype package (www.eis.mdx.ac.uk/staffpages/andreipopescu/pdf/LICS2012.pdf) and of CoCon, an EasyChair-like conference management system verified for confidentiality (http://www21.in.tum.de/~popescua/rs3/CoCon.html).

Profile Picture

Latest Additions

  1. Gheri, Lorenzo and Popescu, Andrei (2017) A formalized general theory of syntax with bindings. In: 8th International Conference Interactive Theorem Proving, 26-29 Sept 2017, Brasilia, Brazil.
  2. Biendarra, Julian and Blanchette, Jasmin Christian and Bouzy, Aymeric and Desharnais, Martin and Fleury, Mathias and Hölzl, Johannes and Kunčar, Ondřej and Lochbihler, Andreas and Meier, Fabian and Panny, Lorenz and Popescu, Andrei and Sternagel, Christian and Thiemann, René and Traytel, Dmitriy (2017) Foundational (co)datatypes and (co)recursion for higher-order logic. In: 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, 27-29 September 2017, Brasilia, Brazil.
  3. Kuncar, Ondrej and Popescu, Andrei (2018) Safety and conservativity of definitions in HOL and Isabelle/HOL. Proceedings of the ACM on Programming Languages, 2 . 24:1-24:26. ISSN 2475-1421
  4. Bauereiß, Thomas and Pesenti Gritti, Armando and Popescu, Andrei and Raimondi, Franco (2017) CoSMed: a confidentiality-verified social media platform. Journal of Automated Reasoning . ISSN 0168-7433 (Published online first)
  5. Gheri, Lorenzo and Popescu, Andrei (2017) A formalized general theory of syntax with bindings. In: 8th International Conference Interactive Theorem Proving (ITP), 26-29 Sept 2017, Brasília, Brazil.
  6. Blanchette, Jasmin Christian and Meier, Fabian and Popescu, Andrei and Traytel, Dmitriy (2017) Foundational nonuniform (co)datatypes for higher-order logic. In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 20-23 Jun 2017, Reykjavik, Iceland.
  7. Bauereiß, Thomas and Pesenti Gritti, Armando and Popescu, Andrei and Raimondi, Franco (2017) CoSMeDis: a distributed social media platform with formally verified confidentiality guarantees. In: 38th IEEE Symposium on Security and Privacy, 22-26 May 2017, San Jose, CA, USA.
  8. Blanchette, Jasmin Christian and Popescu, Andrei and Traytel, Dmitriy (2017) Soundness and completeness proofs by coinductive methods. Journal of Automated Reasoning, 58 (1). pp. 149-179. ISSN 0168-7433
  9. Blanchette, Jasmin Christian and Bouzy, Aymeric and Lochbihler, Andreas and Popescu, Andrei and Traytel, Dmitriy (2017) Friends with benefits: implementing corecursion in foundational proof assistants. In: 26th European Symposium on Programming, ESOP 2017, 22-29 Apr 2017, Uppsala, Sweden.
  10. Kunčar, Ondřej and Popescu, Andrei (2017) Comprehending Isabelle/HOL's consistency. In: ESOP 2017: 26th European Symposium on Programming (ESOP), 22-29 Apr 2017, Uppsala, Sweden.