Anna Filippou

Anna Filippou is a Professor at the Department of Computer Science of the University of Cyprus. She holds a B.A. in Mathematics and Computation from the University of Oxford (1992) and a Ph.D. in Computer Science from the University of Warwick (1996). Her research focuses on Concurrency Theory, Formal Methods, Privacy Policy Analysis, and Algorithmic Game Theory. She has served as General Chair for major conferences such as ETAPS 2010 and FM 2016, and her work is funded by the Foundation for Research and Innovation and the European Commission.

Her research applies formal frameworks like Process Calculi, Petri Nets, and Type Systems to design and analyze concurrent, distributed, and real-time systems. Recent work includes modeling Reversible Computation and developing privacy policy enforcement mechanisms in π-calculus. She has published extensively in top venues including TACAS, ETAPS, and Algorithmica.

Anna has held academic positions at the University of Cyprus since 2002 and previously worked at the University of Pennsylvania (1997-1998). She is a member of the Laboratory for Foundations of Computing Systems and Theoretical Computer Science. Her technical roles include managing the HSF Controller Network design and formal verification of distributed systems using tools like UPPAAL.

Key contributions include formalizing privacy policies using typed π-calculus systems, analyzing network security games, and developing resource-aware process algebra models for real-time systems. Current projects explore GDPR compliance frameworks and algorithmic game theory applications in network defense mechanisms.