Distinguished for his work on formal verification and real-time systems, Thomas Henzinger has introduced methods to ensure the correct functioning of computer programs and systems under timing constraints.

His research has profound implications for both theoretical computer science and the development of dependable software and hardware.

In 2019, he was elected as member of the European Academy of Engineering.