Στεφανέας Πέτρος
Αναπληρωτής Καθηγητής
- Βαθμίδα: Αναπληρωτής Καθηγητής
- Email:
- Ιστότοπος: www.math.ntua.gr/~petros
- Τηλέφωνο: +30-210-772-1869
- Γραφείο: 3.30
Γνωστικό Αντικείμενο
- Λογική και Τυπικές Μέθοδοι στην Πληροφορική
Σπουδές
- Πτυχίο Μαθηματικών, Πανεπιστήμιο Αθηνών
- Ερευνητής Μεταπτυχιακός Φοιτητής, Πανεπιστήμιο Οξφόρδης, Μαθηματικό Ινστιτούτο και Εργαστήριο Πληροφορικής (Oxford University, Mathematical Institute and Computing Laboratory-Programming Research Group)
- Διδακτορικό Δίπλωμα στις Εφαρμογές της Λογικής στην Πληροφορική (2002), Ε.Μ.Π., Τομέας Μαθηματικών, ΣΕΜΦΕ
Ερευνητικά Ενδιαφέροντα
- Εφαρμογές της Λογικής στον Προγραμματισμό, Τυπικές Μέθοδοι
- Λογική και Φιλοσοφία της Πληροφορικής