Πέτρος Ποτίκας
Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών
- ppotik@cs.ntua.gr
- Προσωπική ιστοσελίδα
- +30 (210) 7721644
- Γραφείο 1.1.30, 1ος Όροφος, Παλαιό κτ. Ηλεκτρολόγων
Ερευνητικά Ενδιαφέροντα
Λογικός Προγραμματισμός, Σημασιολογία Γλωσσών Προγραμματισμού, Επαγωγικές Βάσεις Δεδομένων, Υπολογιστική Λογική, Τροπική Λογική, Θεωρία Αυτομάτων, Θεωρία Υπολογισμού, Κρυπτογραφία.
Δημοσιεύσεις
Σύνδεσμος ΔημοσιεύσεωνΜαθήματα
- Προγραμματισμός Ηλεκτρονικών Υπολογιστών (Προπτυχιακό - 1o Εξάμηνο)
- Προγραμματιστικές Τεχνικές (Προπτυχιακό - 2o Εξάμηνο)
- Μαθηματική Λογική (Προπτυχιακό - 6o Εξάμηνο)
- Υπολογισιμότητα και Πολυπλοκότητα (Προπτυχιακό - 8o Εξάμηνο)
- Εφαρμογές της Λογικής στην Πληροφορική (Προπτυχιακό - 8o Εξάμηνο)
- Λογική και Πληροφορική ΙΙ : Λογική, Αυτόματα και Παίγνια (Μεταπτυχιακό - Εαρινό Εξάμηνο)
- Προχωρημένα θέματα Κρυπτογραφίας (Διατμηματικό)