Dr Andrei Popescu


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

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

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