Μέλη ΔΕΠ

Στεφανέας Πέτρος

Αναπληρωτής Καθηγητής
  • Βαθμίδα:   Αναπληρωτής Καθηγητής
  • Τηλέφωνο:   +30-210-772-1869
  • Γραφείο:   3.30

Γνωστικό Αντικείμενο

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

Σπουδές

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

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

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

Μαθήματα