Skip to main content

Henzinger_Thomas Group

Design and Verification of Concurrent and Embedded Systems

Humans and computers are surprisingly similar: while the interaction between two actors may be simple, every additional actor complicates matters. The Henzinger group builds the mathematical foundations for designing complex hardware and software systems.

Over 90% of today’s worldwide computing power is found in unexpected places like cell phones or kitchen appliances. Software has become one of the most complicated man-made artifacts, making software bugs unavoidable. The Henzinger group addresses the challenge of reducing software bugs in concurrent and embedded systems. The former 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 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 quickly. The Henzinger group invents mathematical methods and develops computational tools for improving the reliability of software in concurrent and embedded systems.




Team

Image of Marek Chalupa

Marek Chalupa

Postdoc

Image of Konstantin Kueffner

Konstantin Kueffner

PhD Student


Image of Stefanie Muroya Lei

Stefanie Muroya Lei

PhD Student

Image of Ana Oliveira da Costa

Ana Oliveira da Costa

Predoctoral Visiting Scientist


Image of Samuel Pastva

Samuel Pastva

Postdoc

Image of K. S. Thejaswini

Predoctoral Visiting Scientist


Image of Emily Yu

Emily Yu

Postdoc


Current Projects

Modeling, analysis, and synthesis of autonomous agents and cyber-physical systems | Quantitative model checking | Monitoring the safety, security, and fairness of software | Trustworthy AI | Formal methods for quantum computing


Recent Publications

Zikelic D, Lechner M, Verma A, Chatterjee K, Henzinger TA. 2023. Compositional policy learning in stochastic control systems with formal guarantees. 37th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems. View

Ansaripour M, Chatterjee K, Henzinger TA, Lechner M, Zikelic D. 2023. Learning provably stabilizing neural controllers for discrete-time stochastic systems. 21st International Symposium on Automated Technology for Verification and Analysis. ATVA: Automated Technology for Verification and Analysis, LNCS, vol. 14215, 357–379. View

Henzinger TA, Kueffner K, Mallik K. 2023. Monitoring algorithmic fairness under partial observations. 23rd International Conference on Runtime Verification. RV: Conference on Runtime Verification, LNCS, vol. 14245, 291–311. View

Pastva S, Henzinger TA. 2023. Binary decision diagrams on modern hardware. Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design. FMCAD: Conference on Formal Methods in Computer-aided design, 122–131. View

Chalupa M, Henzinger TA. 2023. Monitoring hyperproperties with prefix transducers. 23nd International Conference on Runtime Verification. RV: Conference on Runtime Verification, LNCS, vol. 14245, 168–190. View

View All Publications

ReX-Link: Thomas Henzinger


Career

Since 2009 Professor, Institute of Science and Technology Austria (ISTA)
2009 – 2022 President, Institute of Science and Technology Austria (ISTA)
2004 – 2009 Professor, EPFL, Lausanne, Switzerland
1999 – 2000 Director, Max Planck Institute for Computer Science, Saarbrücken, Germany
1998 – 2004 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, Université Joseph Fourier, Grenoble, France
1991 PhD, Stanford University, Palo Alto, USA


Selected Distinctions

ISI Highly Cited Researcher
2020 Member, US National Academy of Sciences 
2020 Member, American Academy of Arts and Sciences
2020 Logic in Computer Science Test-of-Time Award
2020 Embedded Systems Week Test-of-Time Award
2019 European Association for Theoretical Computer Science Award
2015 Royal Society Milner Award
2015 EATCS Fellow
2015 Honorary Doctorate, Masaryk University, Brno, Czech Republic
2014 Most Influential 2004 POPL Paper Award
2013 AAAS Fellow
2012 Wittgenstein Award
2012 Honorary Doctorate, University Joseph Fourier, Grenoble, France
2012 Logic in Computer Science Test-of-Time Award
2011 Member, Austrian Academy of Sciences (ÖAW)
2011 ACM SIGSOFT Impact Paper Award
2010 ERC Advanced 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


Additional Information

Open Tom Henzinger’s website
View Henzinger Group website
ERC Advanced Grant VAMOS



theme sidebar-arrow-up
Back to Top