Dr Andrei Popescu

PhD

Department of Computer Science

Senior Lecturer in Cybersecurity

Course Director for MSc Cybersecurity and AI

Member of the Security of Advanced Systems research group

a.popescu@sheffield.ac.uk
+44 114 222 1967

Regent Court (DCS)

Full contact details

Dr Andrei Popescu
Department of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP

Profile: Andrei has been a Senior Lecturer in the Security of Advanced Systems group since May 2020. Previously, he worked as a Senior Lecturer at Middlesex University and as a postdoctoral researcher at TU Munich. He has a Ph.D. in computer science from the University of Illinois at Urbana-Champaign and a Ph.D. in mathematics from the University of Bucharest.

Research interests

Publications

Popescu A & Traytel D (2021) Distilling the requirements of Gödel’s incompleteness theorems with a proof assistant. Journal of Automated Reasoning, 65(7), 1027-1070. View this article in WRRO
Popescu A, Peter L & Ping H (2020) CoCon: A conference management system with verified document confidentiality. Journal of Automated Reasoning. View this article in WRRO
Gheri L & Popescu A (2020) A Formalized General Theory of Syntax with Bindings: Extended Version. Journal of Automated Reasoning, 64(4), 641-675.
Blanchette JC, Gheri L, Popescu A & Traytel D (2019) Bindings as bounded natural functors. Proceedings of the ACM on Programming Languages, 3(POPL). View this article in WRRO
Bauereiß T, Pesenti Gritti A, Popescu A & Raimondi F (2018) CoSMed: A Confidentiality-Verified Social Media Platform. Journal of Automated Reasoning, 61(1-4), 113-139.
Kunčar O & Popescu A (2018) Safety and conservativity of definitions in HOL and Isabelle/HOL. Proceedings of the ACM on Programming Languages, 2(POPL). View this article in WRRO

Bauereiß T, Gritti AP, Popescu A & Raimondi F (2017) CoSMeDis : a distributed social media platform with formally verified confidentiality guarantees. 2017 IEEE Symposium on Security and Privacy (SP) (pp 729-748). San Jose, CA, USA, 22 May 2017 - 26 May 2017. View this article in WRRO
Blanchette JC, Popescu A & Traytel D (2015) Foundational extensible corecursion: a proof assistant perspective. Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015, 31 August 2015 - 2 September 2015. View this article in WRRO

Grants

Cyclic Reasoning Mechanisms for Interactive Theorem Proving, Royal Society, 08/21 - 07/23, £12,000, as PI

Links