Επίκουρος Καθηγητής. Βασικές σπουδές στο Πανεπιστήμιο Κύπρου (Πτυχίο Πληροφορικής, 2006). Μεταπτυχιακές σπουδές στο Πανεπιστήμιο της Οξφόρδης (M.Sc. in Mathematics and Foundations of Computer Science, 2007; D.Phil. in Computer Science, 2011). Έχει εργαστεί στο Πανεπιστήμιο του Εδιμβούργου (Αναπληρωτής Καθηγητής από το 2020, και Επίκουρος Καθηγητής, 2016 - 2020), στο Τεχνολογικό Πανεπιστήμιο της Βιέννης (Μεταδιδακτορικός Ερευνητής, 2014 - 2016), και στο Πανεπιστήμιο της Οξφόρδης (Μεταδιδακτορικός Ερευνητής, 2011 - 2014). Τα ερευνητικά του ενδιαφέροντα εστιάζονται στη θεωρία βάσεων δεδομένων με έμφαση στα αβέβαια δεδομένα, αναπαράσταση γνώσης και συλλογισμό, και λογική στην πληροφορική. Έχει δημοσιεύσει αριθμό άρθρων σε κορυφαία διεθνή συνέδρια και περιοδικά. Επίσης υπηρέτησε σε τεχνικές επιτροπές αρκετών συνεδρίων, συμπεριλαμβανομένων των κορυφαίων συνεδρίων θεωρίας βάσεων δεδομένων και τεχνητής νοημοσύνης.
Τα ερευνητικά του ενδιαφέροντα εστιάζονται στη θεωρία βάσεων δεδομένων με έμφαση στα αβέβαια δεδομένα, αναπαράσταση γνώσης και συλλογισμό, και λογική στην πληροφορική.
