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

Affiliate 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

Department of Computer Science