
Απόφοιτος του Μετσόβιου είναι ένας από τους κορυφαίους ερευνητές στον τομέα της Θεωρητικής Πληροφορικής, με παγκόσμια αναγνώριση για το έργο του στους τομείς της υπολογιστικής πολυπλοκότητας, των βάσεων δεδομένων, της επαλήθευσης λογισμικού και της αλγοριθμικής Θεωρίας Γράφων