Design and Analysis of Concurrent and Embedded Systems

Tom Henzinger

Over 90 % of today’s worldwide computing power is found in unexpected places like cell phones, kitchen appliances, and pacemakers. Software has become one of the most complicated artifacts produced by man, making software bugs unavoidable. The Henzinger group addresses the challenge of reducing software bugs in concurrent and embedded systems. Concurrent systems consist of parallel processes that interact with one another, whether in a global network or on a tiny chip. Because of the large number of possible interactions between parallel processes, concurrent software is particularly error-prone, and sometimes bugs show up only after years of flawless operation. Embedded systems interact with the physical world; an additional challenge for this kind of safety-critical software is to react sufficiently fast. The Henzinger group invents mathematical methods and develops computational tools for improving the reliability of software in concurrent and embedded systems.


Thomas Henzinger
Institute of Science and Technology Austria (IST Austria)
Am Campus 1
A – 3400 Klosterneuburg

Phone: +43 (0)2243 9000-1033

Thomas Henzinger's website (with CV & publication list)

Henzinger Group website


Astrid Bonventre-Darthe (Assistant to Professor)
Phone: +43 (0)2243 9000-1015

For non-scientific affairs:
Magdalena Lueger-Kaltenecker (Assistant to President)
Phone: +43 (0)2243 9000-1033


  • Guy Avni, Postdoc
  • Sergiy Bogomolov, Postdoc
  • Przemyslaw Daca, PhD Student
  • Mirco Giacobbe, PhD Student
  • Hui Kong, Postdoc
  • Bernhard Kragl,  PhD Student
  • Andrey Kupriyanov, Postdoc
  • Jakob Rueß, Postdoc
  • Roopsha Samanta, Postdoc
  • Thorsten Tarrach, PhD Student

Current Projects

  • Quantitative modeling and analysis of reactive systems
  • Interfaces and contracts for component-based hardware and software design
  • Predictability and robustness for real-time and embedded systems
  • Verification and synthesis of concurrent programs
  • Model checking biochemical reaction networks

Selected Publications

  • Cerny, Pavol, Henzinger, Thomas A, Radhakrishna, Arjun: Quantitative abstraction refinement. In: ACM SIGPLAN-SIGACT: Symposium on Principles of Programming Languages (POPL). ACM, New York, NY, USA, 2013, 115-128. 
  • Henzinger, Thomas A, Kirsch, Christoph M, Payer, Hannes, Sezgin, Ali, Sokolova, Ana. Quantitative relaxation of concurrent data structures. In: ACM SIGPLAN-SIGACT: Symposium on Principles of Programming Languages (POPL). ACM, New York, NY, USA, 2013, 317-328.
  • Henzinger, Thomas A, Otop, Jan: From model checking to model measuring. In: CONCUR: International Conference on Concurrency Theory (LNCS). Springer, 2013, 273-287.


2009             Professor and President, IST Austria
2005–2011     Adjunct Professor, University of California, Berkeley, USA
2004–2009     Professor, EPFL, Lausanne, Switzerland
1999–2000     Director, Max Planck Institute for Computer Science, Saarbrücken, Germany
1998–2005     Professor, University of California, Berkeley, USA
1997–1998     Associate Professor, University of California, Berkeley, USA
1996–1997     Assistant Professor, University of California, Berkeley, USA
1992–1995     Assistant Professor, Cornell University, Ithaca, USA
1991              Postdoc, University of Grenoble, France
1991              PhD, Stanford University, Palo Alto, USA

Selected Distinctions

ISI Highly Cited Researcher
2015     Milner Award, Royal Society, UK
2013     AAAS Fellow
2012     Wittgenstein Award, Austrian Science Fund FWF
2012     Honorary Doctorate, University Joseph Fourier, Grenoble, France
2012     Logic in Computer Science Test-of-Time Award
2011     Member, Austrian Academy of Sciences
2011     ACM SIGSOFT Impact Paper Award
2010     ERC Advanced Investigator Grant
2006     ACM Fellow
2006     IEEE Fellow
2006     Member, Academia Europaea
2005     Member, German Academy of Sciences Leopoldina
1995     ONR Young Investigator Award
1995     NSF Faculty Early Career Development Award

To top