Σπουδές

• Πτυχίο Μαθηματικών, Πανεπιστήμιο Αθηνών
• Ερευνητής Μεταπτυχιακός Φοιτητής, Πανεπιστήμιο Οξφόρδης, Μαθηματικό Ινστιτούτο και Εργαστήριο Πληροφορικής (Oxford University, Mathematical Institute and Computing Laboratory-Programming Research Group)
• Διδακτορικό Δίπλωμα στις Εφαρμογές της Λογικής στην Πληροφορική (2002), Ε.Μ.Π., Τομέας Μαθηματικών, ΣΕΜΦΕ

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

• Εφαρμογές της Λογικής στον Προγραμματισμό, Τυπικές Μέθοδοι
• Λογική και Φιλοσοφία της Πληροφορικής