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

| | | | MyCS Portal |

Ακαδημαϊκό Προσωπικό

Επιλογή επαφής:

Επαφή

Αναπληρώτρια Καθηγήτρια
Διεύθυνση:
Γραφείο:,
Τμήμα Πληροφορικής,
Πανεπιστήμιο Κύπρου,
Λεωφόρος Πανεπιστημίου 1
Αγλαντζιά
Λευκωσία
2109
ΚΥΠΡΟΣ

Τηλέφωνο:
(+357) 22892699
Φαξ:
(+357) 22892701
Email:
annap-AT-cs.ucy.ac.cy

Άλλες πληροφορίες

Άλλες πληροφορίες:
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.