Entwicklung und Analyse von parallelen und eingebetteten Systemen

Thomas Henzingers wissenschaftliches Interesse gilt mathematischen Methoden zur Verbesserung der Softwarequalität. Mehr und mehr Bereiche unseres Alltagslebens werden durch Software gesteuert. Bereits über 90% der Rechenleistung kommt in Konstellationen –  z.B. Mobiltelefone, Küchengeräte und Herzschrittmacher – zum Einsatz, in denen niemand sie erwarten würde. Inzwischen zählt Computersoftware zu den kompliziertesten Dingen, die der Mensch je geschaffen hat. Angesichts der enormen Komplexität der Software ist es unvermeidlich, dass Fehler auftreten. Die Behandlung solcher Fehler stellt eine große technische Herausforderung dar.

Prof. Henzingers Gruppe konzentriert sich auf parallele und eingebettete Software. Ein paralleles System besteht aus vielen gleichzeitigen Prozessen, die in einem globalen Netzwerk oder auf einem einzelnen Chip ablaufen und sich gegenseitig beeinflussen. Hardwarehersteller bestücken einen Chip mit einer steigenden Zahl von Mikroprozessoren und erzeugen so enorme Parallelität in jedem Computer. Solche Systeme sind nicht nur sehr schwer zu programmieren, sondern überaus fehleranfällig, weil sie niemals ausreichend getestet werden können.

Ein eingebettetes System ist ein Softwaresystem, das Einfluss auf die physische Welt hat. Bei eingebetteten Systemen wie z.B. elektronischen Bauteilen im Auto oder Flugzeug liegt die zentrale technische Herausforderung darin, die Software in Echtzeit reagieren zu lassen. Für ein Flugleitsystem ist es nicht nur entscheidend, dass die Software die richtigen Ergebnisse berechnet, sondern dass sie dies ausreichend schnell macht.

Folgende Werkzeuge kommen zur Anwendung, um zuverlässigere Software zu entwickeln: mathematische Logik, Automatentheorie und Rechenmodelle. Einige dieser Modelle können auch zur Nachahmung biologischer Systeme eingesetzt werden. Rechenmodelle einer lebenden Zelle unterscheiden sich von mathematischen Gleichungen in so fern, als sie auf einem Computer ausgeführt und zur Untersuchung der kausalen Beziehungen zwischen verschiedenen Ereignissen in der Zelle herangezogen werden können. Dieses neue Forschungsfeld wird „Executable Biology“ genannt.

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

Tel: +43 (0)2243 9000-1033
E-mail: thomas.henzinger@remove-this.ist.ac.at

Thomas Henzingers Website

Website der Henzinger Group

Assistentin
Elisabeth Hacker

Tel: +43 (0)2243 9000-1015
E-mail: elisabeth.hacker@remove-this.ist.ac.at

Team

  • Udi Boker, Postdoc
  • Pavol Cerny, Postdoc
  • Cezara Dragoi, Postdoc
  • Ashutosh Gupta, Postdoc
  • Arjun Radhakrishna, PhD Student
  • Ali Sezgin, Postdoc
  • Alexandre Thévenet-Montagne, Student Intern
  • Damien Zufferey, PhD Student

Aktuelle Projekte

  • Quantitativer Modellbildung und Analyse reaktiver Systeme
  • Schnittstellen und Verträge für Komponenten-basiertes Hard- und Softwaredesign
  • Vorhersagbarkeit und Stabilität für Echtzeit- und eingebettete Systeme
  • Moderne parallele Systeme wie Softwaretransaktionen und Cloud-Computing
  • Modelle zur Prüfung biochemischer Netzwerke

Ausgewählte Publikationen

1. Guerraoui R, Henzinger TA, Singh V. 2010. Model checking transactional memories. Distributed Computing 22:129-145.
2. Henzinger TA. 2008. Two challenges in embedded systems design: Predictability and robustness. Philosophical Transactions of the Royal Society A 366:3727-3736.
3. Fisher J, Henzinger TA. 2007. Executable cell biology. Nature Biotechnology 25:1239-1249.

Karriere
2009               Professor and President, IST Austria
2005–             Adjunct Professor, University of California, Berkeley, USA
2004–2009     Professor, EPFL, Lausanne, Switzerland
1999–2000     Director, Max-Planck Institute, 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

Ausgewählte Auszeichnungen
ISI Highly Cited Researcher
2011     Mitglied, Österreichische Akademie der Wissenschaften
2011     ACM SIGSOFT Impact Paper Award
2010     ERC Advanced Grant
2009     Corresponding Member, Austrian Academy of Sciences
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