I am a 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.
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.