Henzinger Group
Design and Analysis of Concurrent and Embedded Systems
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.
Contact
Thomas Henzinger
Institute of Science and Technology Austria (IST Austria)
Am Campus 1
A – 3400 Klosterneuburg
Phone: +43 (0)2243 9000-1033
E-mail: thomas.henzinger@ist.ac.at
Thomas Henzinger's website (with CV & publication list)
Assistant
For scientific affairs:
Elisabeth Hacker (Assistant to Professor)
Phone: +43 (0)2243 9000-1015
E-mail: elisabeth.hacker@ist.ac.at
For non-scientific affairs:
Magdalena Lueger-Kaltenecker (Assistant to President)
Phone: +43 (0)2243 9000-1033
E-mail: magdalena.lueger-kaltenecker@ist.ac.at
Team
- Guy Avni, Postdoc
- Adrian Elgyütt, PhD Student
- Miriam Garcia Soto, Postdoc
- Mirco Giacobbe, PhD Student
- Bernhard Kragl, PhD Student
- Anna Lukina, Postdoc
- Christian Schilling, 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.
Career
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
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