Dr Andrei Popescu

PhD

Department of Computer Science

Senior Lecturer in Cybersecurity

Member of the Security of Advanced Systems research group

a.popescu@sheffield.ac.uk
+44 114 21967

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

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).
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).
Popescu A, Peter L & Ping H () CoCon: A conference management system with verified document confidentiality. Journal of Automated Reasoning.

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.
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.

Links