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

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

Photo of Zachos

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

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

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.

Further information

Reporter

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