EATCS Fellows

The EATCS Fellows Program is established by the Association to recognize outstanding EATCS Members for their scientific achievements in the field of Theoretical Computer Science. The Fellow status is conferred by the EATCS Fellows-Selection Committee upon a person having a track record of intellectual and organizational leadership within the EATCS community. Fellows are expected to be “model citizens” of the TCS community, helping to develop the standing of TCS beyond the frontiers of the community.

In order to be considered by the EATCS Fellows-Selection Committee, candidates must be nominated by at least two EATCS Members. Please verify your membership at http://www.eatcs.org/.

The EATCS Fellows-Selection Committee 2017 consists of

- Rocco De Nicola (IMT Lucca, Italy)
- Paul Goldberg (Oxford, UK, chair)
- Anca Muscholl (Bordeaux, France)
- Dorothea Wagner (Karlsruhe, Germany)
- Roger Wattenhofer (ETH Zurich, CH)

EATCS Fellows 2017 - Call for nominations


Submit by December 31 of the current year for Fellow consideration by email to the EATCS Secretary ( This e-mail address is being protected from spambots. You need JavaScript enabled to view it ). The subject line of the email should read "EATCS Fellow Nomination - <surname of candidate>".


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)

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)

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)

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)

The aforementioned members of the EATCS were selected by the EATCS Fellow Selection Committee, after examining the nominations received from our research community. The EATCS Fellow Selection Committee for 2014 consisted of

  • Rocco De Nicola (IMT Lucca, Italy),
  • Paul Goldberg (Oxford, UK),
  • Anca Muscholl (Bordeaux, France; chair),
  • Dorothea Wagner (Karlsruhe, Germany) and
  • Roger Wattenhofer (ETH Zurich, CH)

The EATCS Fellows Program was established by the association last year to recognize outstanding EACTS members for their scientific achievements in the field of Theoretical Computer Science. The EATCS is very proud to have the above-mentioned members of the organization as its first fellows.

e-max.it: your social media marketing partner
 
European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.