This is a static snapshot of the website of MPLA, taken on 2025-02-27.
You are here: Teachers » Ευστάθιος Ζάχος

Ευστάθιος Ζάχος

Photo of Zachos

Ευστάθιος Ζάχος

Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
Ειδική Διατμήματική Επιτροπή (ΕΔΕ)
  • Καθηγητής, Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών ΕΜΠ, NTUA
Website: http://www.corelab.ntua.gr/~zachos

courses given

Course Semester
Λ09Γ. Προχωρημένα Θέματα Λογικής 2016-2017, εαρινό εξάμηνο
Π09Γ. Προχωρημένα θέματα αλγορίθμων και πολυπλοκότητας 2016-2017, εαρινό εξάμηνο
Π05Β. Μοντέλα υπολογισμού και πολυπλοκότητα 2016-2017, εαρινό εξάμηνο
Λ3. Αλγόριθμοι και πολυπλοκότητα I 2016-2017, χειμερινό εξάμηνο
Λ4. Αλγόριθμοι και πολυπλοκότητα II 2016-2017, χειμερινό εξάμηνο
Π02Γ. Κρυπτογραφία και πολυπλοκότητα 2016-2017, χειμερινό εξάμηνο
Λ07Γ. Λογική, Αυτόματα και Παίγνια 2015-2016, εαρινό εξάμηνο
Π05Β. Μοντέλα υπολογισμού και πολυπλοκότητα 2015-2016, εαρινό εξάμηνο
Λ3. Αλγόριθμοι και πολυπλοκότητα I 2015-2016, χειμερινό εξάμηνο
Λ4. Αλγόριθμοι και πολυπλοκότητα II 2015-2016, χειμερινό εξάμηνο
Π02Γ. Κρυπτογραφία και πολυπλοκότητα 2015-2016, χειμερινό εξάμηνο
Π05Β. Μοντέλα υπολογισμού και πολυπλοκότητα 2014-2015, εαρινό εξάμηνο
Π12. Αλγοριθμικά Θέματα Κοινωνικών Δικτύων 2014-2015, εαρινό εξάμηνο
Λ3. Αλγόριθμοι και πολυπλοκότητα I 2014-2015, χειμερινό εξάμηνο
Λ4. Αλγόριθμοι και πολυπλοκότητα II 2014-2015, χειμερινό εξάμηνο
Π09Γ. Προχωρημένα θέματα αλγορίθμων και πολυπλοκότητας 2013-2014, εαρινό εξάμηνο
Π05Β. Μοντέλα υπολογισμού και πολυπλοκότητα 2013-2014, εαρινό εξάμηνο
Λ3. Αλγόριθμοι και πολυπλοκότητα I 2013-2014, χειμερινό εξάμηνο
Λ4. Αλγόριθμοι και πολυπλοκότητα II 2013-2014, χειμερινό εξάμηνο
Λ13Ο. Προσεγγιστικοί αλγόριθμοι και σχεδιασμός μηχανισμών 2012-2013, εαρινό εξάμηνο
Π05Β. Μοντέλα υπολογισμού και πολυπλοκότητα 2012-2013, εαρινό εξάμηνο
Λ3. Αλγόριθμοι και πολυπλοκότητα I 2012-2013, χειμερινό εξάμηνο
Λ4. Αλγόριθμοι και πολυπλοκότητα II 2012-2013, χειμερινό εξάμηνο
Π02Γ. Κρυπτογραφία και πολυπλοκότητα 2012-2013, χειμερινό εξάμηνο
Π03Α. Δομική πολυπλοκότητα 2011-2012, εαρινό εξάμηνο
Π05Β. Μοντέλα υπολογισμού και πολυπλοκότητα 2011-2012, εαρινό εξάμηνο
Λ4. Αλγόριθμοι και πολυπλοκότητα II 2011-2012, χειμερινό εξάμηνο
ΜΞ11. Μη προσεγγισιμότητα NP-δύσκολων προβλημάτων 2011-2012, χειμερινό εξάμηνο
ΜΡ10. Discrete mathematics and cryptography 2010-2011, εαρινό εξάμηνο
Π02Γ. Κρυπτογραφία και πολυπλοκότητα 2009-2010, χειμερινό εξάμηνο
Λ00Δ. Προσεγγιστικοί αλγόριθμοι και πολυπλοκότητα 2008-2009, εαρινό εξάμηνο
Π05Β. Μοντέλα υπολογισμού και πολυπλοκότητα 2008-2009, εαρινό εξάμηνο
Π02Γ. Κρυπτογραφία και πολυπλοκότητα 2008-2009, χειμερινό εξάμηνο
Π03Α. Δομική πολυπλοκότητα 2007-2008, εαρινό εξάμηνο
Π05Β. Μοντέλα υπολογισμού και πολυπλοκότητα 2007-2008, εαρινό εξάμηνο
Π02Γ. Κρυπτογραφία και πολυπλοκότητα 2007-2008, χειμερινό εξάμηνο
Π05Β. Computation Models, Formal Languages, Automata Theory and Complexity 2006-2007, εαρινό εξάμηνο
Π07Β. Προηγμένες βάσεις δεδομένων: αλγόριθμοι και πολυπλοκότητα 2006-2007, εαρινό εξάμηνο
Π02Γ. Κρυπτογραφία και πολυπλοκότητα 2006-2007, χειμερινό εξάμηνο
Π01Γ. Παράλληλοι αλγόριθμοι και πολυπλοκότητα 2005-2006, εαρινό εξάμηνο
Π05Β. Computation Models, Formal Languages, Automata Theory and Complexity 2005-2006, εαρινό εξάμηνο
Π02Γ. Κρυπτογραφία και πολυπλοκότητα 2005-2006, χειμερινό εξάμηνο
Π00Δ. Προσεγγιστικοί αλγόριθμοι και υπολογιστική γεωμετρία 2004-2005, εαρινό εξάμηνο
Π03Α. Δομική πολυπλοκότητα 2003-2004, εαρινό εξάμηνο
Π02Γ. Κρυπτογραφία και πολυπλοκότητα 2002-2003, εαρινό εξάμηνο
Π01Γ. Παράλληλοι αλγόριθμοι και πολυπλοκότητα 2001-2002, εαρινό εξάμηνο
Π00Δ. Προσεγγιστικοί αλγόριθμοι και υπολογιστική γεωμετρία 2000-2001, εαρινό εξάμηνο
Λ3. Αλγόριθμοι και πολυπλοκότητα I 1997-1998, χειμερινό εξάμηνο
48 courses.

seminars given

ημερομηνία τίτλος
2012/12/14 Ο δρόμος από τον Leibniz ως τον Turing
2010/10/15 Martin Davis: ENGINES OF LOGIC
2010/01/22 Hierarchies of complexity classes (Part II)
2009/11/20 Hierarchies of complexity classes
2007/07/20 Hierarchies of complexity classes
2006/01/27 Hierarchies of complexity classes
2004/10/22 The complexity of counting functions with easy decision version
2004/03/12 Descriptive complexity: complexity classes and operators
2002/02/15 Counting functions
2000/02/11 S-terms revisited
1997/06/20 From computability to computational complexity
11 seminars.

MSc theses supervised

τίτλος student defense
Proof Complexity: A Tableau Perspective Θεόδωρος Παπαμακάριος 2017-07-19
Quantum complexity, relativized worlds, and oracle separations Δημήτριος Μυρισιώτης 2016-11-04
Annotated Sequent Systems for Linear Temporal Logic Ιωάννης Κοκκίνης 2015-04-06
Graph Partitioning Under the Spectral Lens Κωνσταντίνος Κοιλιάρης 2015-01-12
Computational Complexity of Modal Logics Γεώργιος Κούρτης 2013-08-01
Complexity Dichotomies for Approximations of Counting Problems Ανδρέας-Νικόλαος Γκόμπελ-Μαγκάκης 2012-07-23
The Discrepancy Problem Ιωάννης Παναγέας 2011-12-28
Finding Cliques in Random Graphs Ανδρέας Γαλάνης 2010-11-26
Models of Parallel Computation and Parallel Complexity Γεώργιος Λεντάρης 2010-07-01
Information Theory and the Randomized Communication Complexity of Functions Νικόλαος Λεονάρδος 2009-07-01
The Complexity of the Validity Problem and Justification Logics Αντώνιος Αχχιλέως 2009-02-13
Undirected Connectivity is in L Αθανάσιος Λιανέας 2009-02-12
Geometric routing in wireless ad hoc networks Δημήτριος Δούδης 2008-06-01
Information networks and game theory Γεώργιος Πήλιουρας 2006-06-01
Quantum physics and computers Ξενοφών Ραφιός 2006-04-01
Edge coloring in bipartite multigraphs Μαργαρίτα Μαρίνου 2005-12-01
Algorithms for routing and wavelength assignment in all- optical networks - Implementations and experimental comparison Γεώργιος Γεωργίου 2005-04-01
Edge coloring in graphs Ευαγγελία Γαβαθά 2004-12-01
Arthur-Merlin games and interactive proof systems Χρήστος Τσιρώνης 2004-12-01
The web as a graph E. Kotelida 2004-12-01
Optimization problems in circular arc graphs Γεωργία Σταθοπούλου 2000-11-01
Block cryptosystems: from DES to AES Χρήστος Καπουτσής 2000-07-01
Matching problems - Algorithms and complexity Χαραλαμπία Τόγκα 2000-07-01
23 MSc theses.

Reporter

Web standards: XHTML1.0, CSS3.
© 1996 – 2018 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.