cs@cs.ucy.ac.cy | +357-22-892700

| | | | MyCS Portal |

Faculty

Select a contact:

Contact

Associate Professor
Address:
Office:
Department of Computer Science,
University of Cyprus,
1 Panepistimou Avenue
Aglantzia
Nicosia
2109
CYPRUS
Phone:
(+357) 22892699
Fax:
(+357) 22892701
Mobile:
annap-AT-cs.ucy.ac.cy

Miscellaneous Information

Miscellaneous Information:
Ph.D., University of Warwick, UK , 1996
Undergraduate studies at the University of Oxford, UK (B.A. in Mathematics and Computation, 1992). Graduate studies at the University of Warwick, UK (M.Sc. in Parallel Computers and Computation, 1993; PhD in Computer Science, 1996). She has worked as a Teaching Assistant at the University of Warwick, UK (1993-1996) and as a Postdoctoral Research Fellow at the University of Pennsylvania, USA (1997-1998).
Her research interests include Concurrency Theory and its Applications, Specification and Verification of Concurrent Systems, Formal Methods for Safety-Critical Systems and Algorithmic Game Theory.