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

| | | | MyCS Portal |

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

Επαφή

Θέση:
Αναπληρώτρια Καθηγήτρια
Διεύθυνση:
Γραφείο:,
Τμήμα Πληροφορικής,

Πανεπιστήμιο Κύπρου,

Λεωφόρος Πανεπιστημίου 1
Αγλαντζιά
Λευκωσία
2109
ΚΥΠΡΟΣ

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

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

Άλλες πληροφορίες:
Ph.D., University of Warwick, UK , 1996
Αναπληρώτρια Καθηγήτρια. Βασικές σπουδές στο Πανεπιστήμιο της Οξφόρδης, Ηνωμένο Βασίλειο (ΒΑ, 1992, Mathematics and Computation). Μεταπτυ¬χιακές σπουδές στο Πανεπιστήμιο του Warwick, Ηνωμένο Βασίλειο (MSc, 1993, Parallel Computers and Computation, και Ph.D, Computer Science, 1996). Έχει εργαστεί ως Βοηθός Διδασκαλίας στο Πανεπιστήμιο του Warwick, Ηνωμένο Βασίλειο (1993-1996) και ως Μεταδιδακτορική Ερευνήτρια στο University of Pennsylvania, ΗΠΑ (1997-1998). Τα ερευνητικά της ενδιαφέροντα περιλαμβάνουν τη Θεωρία Παράλληλου Υπολογισμού, την Προδιαγραφή και Επαλήθευση Συστημάτων, τις Τυπικές Μεθόδους για Κατανεμημένα Συστήματα και Συστήματα Πραγματικού Χρόνου και την Αλγοριθμική Θεωρία Παιγνίων. Έχει δημοσιεύσει σε κορυφαία περιοδικά και πρακτικά διεθνών συνεδρίων στις περιοχές των ερευνητικών της ενδιαφερόντων. Επίσης υπηρέτησε σε Τεχνικές Επιτροπές (Program Committees) κορυφαίων συνεδρίων σε θέματα Τυπικών Μεθόδων, υπήρξε συν-πρόεδρος της Τεχνικής Επιτροπής του συνεδρίου TACAS 2009 και Γενικός Πρόεδρος (General Chair) των συνεδρίων ETAPS 2010 και FM 2016. Η ερευνητική της δραστηριότητα έχει χρηματοδοτηθεί από το Ίδρυμα Έρευνας και Καινοτομίας και την Ευρωπαϊκή Επιτροπή.
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.