Αναπληρώτρια Καθηγήτρια. Βασικές σπουδές στο Πανεπιστήμιο της Οξφόρδης, Ηνωμένο Βασίλειο (ΒΑ, 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.
