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


For scientific affairs:
Elisabeth Hacker (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
  • Duc Hiep Chu, Postdoc
  • Thomas Ferrere, Postdoc
  • Mirco Giacobbe, PhD Student
  • Hui Kong, Postdoc
  • Bernhard Kragl,  PhD Student
  • Andrey Kupriyanov, Postdoc

    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