Ερευνητικά Ενδιαφέροντα

Εργαστήριο Αλγοριθμικών Εφαρμογών & Λογικής του Τομέα Μαθηματικών – Συντονιστής της Ομάδα Λογικής & Τυπικών Μεθόδν, λ-Form ( http://fsvg.math.ntua.gr )
Εργαστήριο Αλγεβρικών, Γεωμετρικών & Τοπολογικών Εφαρμογών.

Εφαρμογές της λογικής στην πληροφορική.
Τυπικές Μέθοδοι (Formal Methods) και Εφαρμογές τους – Αλγεβρικές Προδιαγραφές (Algebraic Specifications).
Υπολογιστική Δημιουργικότητα (Computational Creativity).
Φιλοσοφία της πληροφορικής. Λογικά και ηθικά ζητήματα της πληροφορικής και της επιστήμης των δεδομένων.