EATCS Fellows

Susanne Albers, Technische Universität München, Germany for "her contributions to the design and analysis of algorithms, especially online algorithms, approximation algorithms, algorithmic game theory and algorithm engineering" (recognized in 2014)

Giorgio Ausiello, Università di Roma "La Sapienza", Italy for "the impact of his scientific work in the field of algorithms and computational complexity and for his service to the scientific community" (recognized in 2014)

the late Wilfried Brauer, Technische Universität München, Germany for "outstanding contributions to the foundation and organization of the European TCS community" (recognized in 2014)

Artur Czumaj, University of Warwick, United Kingdom for "contributions to analysis and design of algorithms, especially to understanding the role of randomization in computer science" (recognized in 2015)

Mariangiola Dezani-Ciancaglini , Università di Torino, Italy for "distinguished and seminal achievements in formal methods and foundations of programming languages, introducing or developing new type systems for the lambda-calculus as well as for the pi-calculus and related calculi" (recognized in 2015)

Josep Diaz, Universitat Politecnica de Catalunya, Spain for "his important scientific contributions to complexity theory and to the design and analysis of algorithms in sequential, parallel and randomised computation models, and for his service to the theoretical computer science community." (recognized in 2017)

Herbert Edelsbrunner, Institute of Science and Technology Austria and Duke University, USA for "his tremendous impact on the field of computational geometry" (recognized in 2014)

Zoltan Esik, University of Szeged, Hungary for "contributions to the fields of automata and formal languages, iteration theories, algebra and logic in computer science, and in particular to their connections. He has been able to apply deep theorems of some area to problems of other fields, yielding particularly short, beautiful and mathematically concise proofs (recognized in 2016)

Mike Fellows, Charles Darwin University, Australia for "his role in founding the field of parameterized complexity theory, which has become a major subfield of research in theoretical computer science, and for being a leader in computer science education" (recognized in 2014)

Yuri Gurevich, Microsoft Research, USA for "his development of abstract state machines and for outstanding contributions to algebra, logic, game theory, complexity theory and software engineering" (recognized in 2014)

David Harel, Weizmann Institute of Science, Israel for "fundamental contributions to program verification, database theory, and software engineering, as well as for exceptional merits as a writer and teacher. The Statecharts model has had profound impact on software and systems engineering" (recognized in 2016)

Monika Henzinger, University of Vienna, Austria for "being one of the pioneers of web algorithms, algorithms that deal with problems of the world wide web" (recognized in 2014)

Thomas A. Henzinger, Institute of Science and Technology Austria for "fundamental contributions to formal verification and synthesis of computer and biological systems" (recognized in 2015)

Giuseppe F. Italiano, University of Rome Tor Vergata, Italy for "fundamental contributions to the design and analysis of algorithms for solving theoretical and applied problems in graphs and massive data sets, and for his role in establishing the field of algorithm engineering" (recognized in 2016)

Dexter Kozen, Cornell University, USA for "pioneering and seminal work in fields as diverse as complexity theory, logics of programs, algebra, computer algebra and probabilistic semantics" (recognized in 2015)

Marta Kwiatkowska, University of Oxford, UK for "pioneering work in the development of model checking for quantitative systems and in its application to a wide range of areas, also for outstanding mentorship, and serving as a role model for female researchers in Computer Science." (recognized in 2017)

Kurt Mehlhorn, Max-Planck-Institut für Informatik, Germany for "his influential contribution to the whole field of algorithmics over the past decades. In addition to key theoretical contributions, he has brought basic research closer to practice." (recognized in 2016)

Jean-Eric Pin, LIAFA, CNRS and University Paris Diderot, France for "outstanding contributions to the algebraic theory of automata and languages in connection with logic, topology, and combinatorics and service to the European TCS community" (recognized in 2014)

Scott A. Smolka, Stony Brook University, USA for "fundamental contributions to process algebra, model checking, probabilistic processes, runtime verification, and more recently for the successful application of most of these theories to cardiac-cell modelling and analysis." (recognized in 2016)

Paul Spirakis, University of Liverpool, UK, and University of Patras, Greece for "seminal papers on Random Graphs and Population Protocols, Algorithmic Game Theory, as well as Robust Parallel Distributed Computing" (recognized in 2014)

Aravind Srinivasan, University of Maryland, College Park, USA for "major contributions to algorithms, the uses of randomisation in algorithms, randomness in networks, and the real-world applications of these topics." (recognized in 2017)

Wolfgang Thomas, RWTH Aachen University, Germany for "foundational contributions to the development of automata theory as a framework for modelling, analyzing, verifying and synthesizing information processing systems." (recognized in 2014)

Moshe Y. Vardi, Rice University, USA for "fundamental and lasting contributions to the development of logic in computer science and exceptional services to the community of theoretical computer science." (recognized in 2015)

Moti Yung, Columbia University, Computer Science, USA for "his outstanding innovative contributions to the Foundations of Cryptography and related Theoretical areas as well as to applications of these areas to computer security. In particular, for his tremendous efforts in concretely and decisively demonstrating the value of Theoretical Computer Science research to innovation in technology and by transferring advanced theoretical notions to industrial systems." (recognized in 2017)