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. Popescu, Andrei and Traytel, Dmitriy (2019) A formally verified abstract account of Gödel's incompleteness theorems. Fontaine, Pascal, ed. Automated Deduction – CADE 27. CADE 2019. Lecture Notes in Computer Science, vol 11716. In: CADE 27 - 27th International Conference on Automated Deduction, 27-30 Aug 2019, Natel, Brazil. ISBN 9783030294359, e-ISBN 9783030294366. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-030-29436-6_26)
  2. Blanchette, Jasmin Christian, Gheri, Lorenzo, Popescu, Andrei and Traytel, Dmitriy (2019) Bindings as bounded natural functors. Proceedings of the ACM on Programming Languages, Volume 3 Issue POPL. In: 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), 13-19 Jan 2019, Hotel Cascais Miragem, Cascais, Portugal. . ISSN 2475-1421 [Conference or Workshop Item] (doi:10.1145/3290335)
  3. Perkov, Tin (2019) Tableau-based translation from first-order logic to modal logic. Technical Report. Cerrito, Serenella and Popescu, Andrei, eds. Middlesex University London, London, UK. . [Monograph] (Published online first)
  4. Gheri, Lorenzo and Popescu, Andrei (2017) A formalized general theory of syntax with bindings. Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings. Lecture Notes in Computer Science, vol 10499. In: 8th International Conference Interactive Theorem Proving, 26-29 Sept 2017, Brasilia, Brazil. ISBN 9783319661063. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-319-66107-0_16)
  5. Biendarra, Julian, Blanchette, Jasmin Christian, Bouzy, Aymeric, Desharnais, Martin, Fleury, Mathias, Hölzl, Johannes, Kunčar, Ondřej, Lochbihler, Andreas, Meier, Fabian, Panny, Lorenz, Popescu, Andrei, Sternagel, Christian, Thiemann, René and Traytel, Dmitriy (2017) Foundational (co)datatypes and (co)recursion for higher-order logic. Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings. In: 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, 27-29 September 2017, Brasilia, Brazil. ISBN 9783319661667. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-319-66167-4_1)
  6. Kunčar, Ondřej and Popescu, Andrei (2018) Safety and conservativity of definitions in HOL and Isabelle/HOL. Proceedings of the ACM on Programming Languages, 2 , 24. pp. 1-26. ISSN 2475-1421 [Article] (doi:10.1145/3158112)
  7. Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2018) CoSMed: a confidentiality-verified social media platform. Journal of Automated Reasoning, 61 (1-4) . pp. 113-119. ISSN 0168-7433 [Article] (doi:10.1007/s10817-017-9443-3)
  8. Gheri, Lorenzo and Popescu, Andrei (2017) A formalized general theory of syntax with bindings. Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil September 26-29, 2017, Proceedings. In: 8th International Conference Interactive Theorem Proving (ITP), 26-29 Sept 2017, Brasília, Brazil. ISBN 9783319661063. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-319-66107-0_16)
  9. Blanchette, Jasmin Christian, Meier, Fabian, Popescu, Andrei and Traytel, Dmitriy (2017) Foundational nonuniform (co)datatypes for higher-order logic. Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 20-23 Jun 2017, Reykjavik, Iceland. ISBN 978-1-5090-3018-7. [Conference or Workshop Item] (doi:10.1109/LICS.2017.8005071)
  10. Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2017) CoSMeDis: a distributed social media platform with formally verified confidentiality guarantees. 2017 IEEE Symposium on Security and Privacy (SP). In: 38th IEEE Symposium on Security and Privacy, 22-26 May 2017, San Jose, CA, USA. ISBN 9781509055326, e-ISBN 9781509055333, pbk-ISBN 9781509055340. ISSN 2375-1207 [Conference or Workshop Item] (doi:10.1109/SP.2017.24)