Alonzo Church Award

The Alonzo Church Award for Outstanding Contributions to Logic and Computation was established in 2015 by the ACM Special Interest Group for Logic and Computation (SIGLOG), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Kurt Gödel Society (KGS). The award is for an outstanding contribution represented by a paper or small group of papers within the past 25 years.


The 2016 Alonzo Church Award for Outstanding Contributions to
Logic and Computation

The 2016 Alonzo Church Award for Outstanding Contributions to Logic
and Computation is given to Rajeev Alur
and David Dill for
their invention of timed automata, a decidable model of real-time systems, which combines a novel, elegant, deep theory
with widespread practical impact.

Description of the contribution