Anna Philippou

Anna Philippou is a Professor in the Department of Computer Science at the University of Cyprus. Her research focuses on Concurrency Theory, Formal Methods, Algorithmic Game Theory, and Privacy-Preserving Systems. She holds a PhD in Computer Science from the University of Warwick, UK (1996), and has held academic positions at the University of Pennsylvania (1997–1998). Her work emphasizes formal verification of concurrent systems, GDPR compliance frameworks, and reversible computing models using Petri Nets.

Education: B.A. in Mathematics and Computation (University of Oxford, 1992), M.Sc. in Parallel Computers and Computation (University of Warwick, 1993), PhD in Computer Science (University of Warwick, 1996).

Research Interests: Her studies address specification and verification of concurrent systems, formal methods for safety-critical systems, and applications of Petri Nets in reversible computing. Recent work explores GDPR compliance in software design and fault-tolerant networking protocols.

Advising/Grants: No explicit student or grant details provided in text. Active in organizing conferences like FORTE and DisCoTec, and has contributed to tool development for formal verification (e.g., Diálogop).

Labs/Teams: Not explicitly mentioned, but her research aligns with formal methods and distributed systems groups at the University of Cyprus.