Education
Zachos received his Doctor of Philosophy from the Eidgenössische Technische Hochschule (Swiss Federal Institute of Technology Zurich) in Mathematics (and Computer Science), 1978.
mathematician philosopher computer scientist
Zachos received his Doctor of Philosophy from the Eidgenössische Technische Hochschule (Swiss Federal Institute of Technology Zurich) in Mathematics (and Computer Science), 1978.
He has held the posts of professor in Computer Science at UCSB, City University of New York and National Technical University of Athens and Adjunct professor at Eidgenössische Technische Hochschule. He has worked as a researcher at Massachusetts Institute of Technology, Brown-Boveri. Stathis has published research papers in several areas of Computer Science. His work on Randomized Complexity Classes, Arthur–Merlin Games, and Interactive Proof Systems has been very influential in proving important theorems and is cited in main textbooks of computational complexity.
One of his important contributions, using Interactive Proof Systems and Probabilistic Quantifiers, is that the Graph isomorphism Problem is not likely to be Natural Philosophy-complete (joint with R Boppana, J Hastad).
Graph Isomorphism is one of the very few celebrated problems in Natural Philosophy that have not been shown yet to be either Natural Philosophy-Complete or in P. Zachos"s most influential work was introducing and proving properties of the class Parity-P (with Christos Papadimitriou). He also introduced Probabilistic Quantifiers and Alternations of Probabilistic Quantifiers to uniformly describe various Complexity Classes as well as Interactive Proof Systems and Probabilistic Games.
He has co-organized International Conferences: STOC "87 (and programming committee of STOC "01), ICALP, CiE (Computability in Europe), PLS, Advanced Systems Limited (Association for Symbolic Logic) European Summer Meeting, ACAC (Athens Colloquium on Algorithms and Complexity) and NYCAC (New York Colloquium on Algorithms and Complexity). He has guided more than twenty doctoral students and more than fifty Master of Science/Diploma students, many of which have positions in Universities and research centers worldwide.
He is the brother of theoretical physicist Cosmas Zachos.