Σταύρος Κοσμαδάκης
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
-
Καθηγητής,
Τμήμα Μηχανικών Υλεκτρονικών Υπολογιστών και Πληροφορικής Πανεπιστήμιο Πάτρας, University of Patras
MSc theses supervised
| τίτλος | student | defense |
|---|---|---|
| Proof Complexity: A Tableau Perspective | 2017-07-19 | |
| 1 MSc thesis. | ||