Skip to main content

Henzinger_Thomas Group

Entwicklung und Verifizierung von parallelen und eingebetteten Systemen

Menschen und Computer sind einander überraschend ähnlich: Während die Interaktion zwischen zwei Akteuren einfach sein mag, verkompliziert jeder zusätzliche Akteur die Sache. Die Henzinger Gruppe arbeitet an den mathematischen Grundlagen für das Design komplexer Hard- und Softwaresysteme.

Über 90% der heutigen weltweiten Rechenleistung befinden sich an unerwarteten Orten, wie Handys oder Küchengeräten. Software ist zu einem der kompliziertesten künstlichen Artefakte geworden, was Software-Fehler unvermeidbar macht. Die Henzinger Gruppe stellt sich der Herausforderung, Software-Fehler in parallelen und eingebetteten Systemen zu reduzieren. Erstere bestehen aus parallelen Prozessen, die miteinander interagieren, ob in einem globalen Netzwerk oder auf einem kleinen Chip. Aufgrund der Vielzahl möglicher Interaktionen zwischen parallelen Prozessen ist parallele Software besonders fehleranfällig. Manchmal treten Fehler erst nach Jahren einwandfreien Betriebs auf. Weiters interagieren eingebettete Systeme mit der physischen Welt; eine zusätzliche Herausforderung für diese Art von sicherheitskritischer Software besteht darin, schnell genug zu reagieren. Die Henzinger Gruppe erfindet mathematische Methoden und entwickelt rechnerische Werkzeuge, um die Verlässlichkeit von Software in parallelen und eingebetteten Systemen zu verbessern.




Team

Image of Marek Chalupa

Marek Chalupa

Postdoc

Image of Konstantin Kueffner

Konstantin Kueffner

PhD Student



Image of Ana Oliveira da Costa

Ana Oliveira da Costa

Predoctoral Visiting Scientist

Image of Samuel Pastva

Samuel Pastva

Postdoc



Laufende Projekte

Modellierung, Analyse und Synthese von autonomen Agenten und cyber-physischen Systemen | Quantitative Modellprüfung | Überwachung der Sicherheit und Fairness von Software | Vertrauenswürdige KI | Formale Methoden für das Quantencomputing


Aktuelle Publikationen

Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Oliveira da Costa A. 2024. Information-flow interfaces. Formal Methods in System Design. View

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

Zu Allen Publikationen

ReX-Link: Thomas Henzinger


Karriere

Seit 2009 Professor, Institute of Science and Technology Austria (ISTA)
2009 – 2022 Präsident, Institute of Science and Technology Austria (ISTA)
2004 – 2009 Professor, EPFL, Lausanne, Schweiz
1999 – 2000 Director, Max Planck Institute for Computer Science, Saarbrücken, Deutschland
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, Frankreich
1991 PhD, Stanford University, Palo Alto, USA


Ausgewählte Auszeichnungen

ISI Highly Cited Researcher
2024 Fellow of the Royal Society
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


Zusätzliche Informationen

Tom Henzinger Website
Henzinger Group Website
ERC Advanced Grant VAMOS



theme sidebar-arrow-up
Nach Oben