Dr Andrei Popescu


Department of Computer Science

Senior Lecturer in Cybersecurity

Director of PGT Studies

Member of the Security of Advanced Systems research group

Affiliate member of the Security of Advanced Systems research group

Profile photo of Andrei Popescu
Profile picture of Profile photo of Andrei Popescu
+44 114 222 1967

Full contact details

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

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

Journal articles


Conference proceedings papers



Current Grants

Previous Grants

  • 2019–2020 Principal investigator for VeTSS grant “Formal Verification of Information Flow Security for Relational Databases” (£86 198)

  • 2016–2018 Principal investigator for EPSRC grant “Verification of Web-based Systems (VOWS),” acquired via the first grant scheme (£100 933)