Programming and Software Engineering Foundations

Ass.-Prof. Dr. Michael Vierhauser

Michael Vierhauser ist Assistenzprofessor am Institut für Informatik in der Forschungsgruppe Quality Engineering, wo er im Bereich Softwarequalität forscht. Dabei beschäftigt er sich unter anderem mit innovativen Methoden und Werkzeugen zur Verbesserung der Qualität von Softwaresystemen, mit einem Fokus auf sicherheitskritische und adaptive cyber-physikalische Systeme. Darüber hinaus beschäftigt er sich auch mit Forschung im Bereich der Informatikbildung, insbesondere mit kompetenzbasiertem Lernen und der Verbesserung der Programmierausbildung. Im Rahmen eines Erwin-Schrödinger-Stipendiums des Österreichischen Wissenschaftsfonds war er zwei Jahre als Gastforscher an der University of Notre Dame in den USA.

Univ.-Prof. Dr. Ruth Breu

Ruth Breu ist Leiterin der Forschungsgruppe Quality Engineering am Institut für Informatik. Sie beobachtet technologische Entwicklungen und liefert zusammen mit ihrem Team Beiträge, um diese Technologien für industrielle Anwendungen nutzbar zu machen. Einen besonderen Fokus legt sie auf Qualitätseigenschaften von Software-Services wie Sicherheit, Zuverlässigkeit und Performance. Methodisch ist Ruth Breu im Anforderungsmanagement und in der Systemmodellierung aktiv. Sie hat international anerkannte und eingesetzte Methoden im Bereich digitaler Zwillinge und Lebendiger Modelle entwickelt. Für ihre Leistungen im Software Engineering wurde sie mehrfach ausgezeichnet, unter anderem mit dem Österreichischen Gründerpreis Phönix im Jahr 2019 und dem Albert Endres Award des German Chapters of the ACM im Jahr 2023.

Benedikt Dornauer, BSc MSc

Nach einer kurzen Tätigkeit als Lehrperson in Mathematik und Informatik kehrte Benedikt Dornauer an die Universität Innsbruck zurück, wo er als Projektmitarbeiter im SmartDelta-Projekt arbeitete, bei dem es um die automatisierte Qualitätssicherung und Optimierung in der inkrementellen Entwicklung industrieller Software-Systeme ging. Darüber hinaus war und ist er an verschiedenen Instituten in der Lehre tätig, unter anderem in den Bereichen Einführung in die Programmierung, Angewandte Informatik, Softwarequalität sowie Current Topics of Information Systems, especially Digital Organizations. Seit Ende 2024 ist er nationaler Projektleiter und internationaler Workpackage-Leader im GENIUS-Projekt, das den Einsatz von Künstlicher Intelligenz in verschiedenen Phasen der Softwareentwicklung untersucht.