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

Profile photo of Andrei Popescu
a.popescu@sheffield.ac.uk
+44 114 222 1967

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
  • Proof assistants
  • Information flow security
  • Inductive and coinductive datatypes
  • Automated deduction
  • Syntax with bindings
Publications

Journal articles

Conference proceedings papers