The EATCS Award 2019 - Laudatio for Thomas Henzinger

The EATCS Awards Committee consisting of Artur Czumaj, Marta Kwiatkowska and Christos Papadimitriou has selected  Thomas Henzinger as the recipient of the EATCS Award 2019. The award will be presented at ICALP 2019, which will take place in Patras, Greece from the 8th till the 12th of July 2019.

The EATCS Award 2019 is awarded to Thomas Henzinger for fundamental contributions to the theory and practice of formal verification and synthesis of reactive, real-time, and hybrid computer systems, and to the application of formal methods to biological systems

For all these reasons, the EATCS wants to celebrate Thomas Henzinger and his influential work, and is honored to award him with its most prestigious prize.


The EATCS Award Committee 2019

Artur Czumaj
Marta Kwiatkowska
Christos Papadimitriou (chair) your social media marketing partner
European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.