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