Menu

Short Biography

I am an Associate Professor at the Department of Computer Science of the University of Cyprus and a member of the Laboratory for Foundations of Computing Systems and Theoretical Computer Science. I completed my undergraduate studies at the University of Oxford (B.A. in Mathematics and Computation) and my postgraduate studies at the University of Warwick (M.Sc. in Parallel Computers and Computation and Ph.D. in Computer Science). Before joining the Department of Computer Science of the University of Cyprus I worked as a Postdoctoral Research Assistant at the Department of Computer and Information Science at the University of Pennsylvania.

Research Interests

My research interests lie in the theory of concurrent and mobile computation. In particular I am interested in the Foundations of Mobile, Distributed, Real-time, and Probabilistic Systems through the use of formal frameworks such as Process Calculi, Equivalences and Logics, Petri nets, and Type Systems. One topic of my recent work in this line of research has been the development of models and semantics for Reversible Computation. Furthermore, I am interested in the application of formal frameworks for the modelling and analysis of real-life applications. Another strand of my research focuses on Formal Methods for Privacy and the development of associated formal frameworks, type systems, and policy languages. Finally, I have carried out research on Algorithmic Game Theory. For more information you may look at my publications.