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
+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
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
-
- Proof assistants
- Information flow security
- Inductive and coinductive datatypes
- Automated deduction
- Syntax with bindings
- Publications
-
Journal articles
- CoCon: A conference management system with verified document confidentiality. Journal of Automated Reasoning. View this article in WRRO
- A Formalized General Theory of Syntax with Bindings: Extended Version. Journal of Automated Reasoning, 64(4), 641-675.
- Bindings as bounded natural functors. Proceedings of the ACM on Programming Languages, 3(POPL). View this article in WRRO
- CoSMed: A Confidentiality-Verified Social Media Platform. Journal of Automated Reasoning, 61(1-4), 113-139.
- Safety and conservativity of definitions in HOL and Isabelle/HOL. Proceedings of the ACM on Programming Languages, 2(POPL). View this article in WRRO
Conference proceedings papers
- 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
- 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
- CoCon: A conference management system with verified document confidentiality. Journal of Automated Reasoning. View this article in WRRO