Dr Andrei Popescu

PhD

School of Computer Science

Senior Lecturer in Cybersecurity

Director of PGT Studies

Member of the Security of Advanced Systems research group

Affiliate member of the Foundations of Computation research group

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

Full contact details

Dr Andrei Popescu
School 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

Chapters

Conference proceedings papers

Preprints

Research group

Member of the Security of Advanced Systems research group

Affiliate Member of the Foundations of Computations research group

Grants

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)