Berufung: Guido Salvaneschi

Prof. Dr. Guido Salvaneschi absolvierte von 2003 bis 2008 sein Bachelor- und Masterstudium in Informatik an der Polytechnischen Universität Mailand, Italien. Anschliessend promovierte er an derselben Einrichtung in Informations- und Kommunikationstechnologie (2009–2011). Seine Doktorarbeit befasste sich mit Programmiersprachtechniken für adaptive Software. Während dieser Zeit absolvierte er Forschungsaufenthalte an der Technischen Universität Darmstadt und am Massachusetts Institute of Technology.

Nach der Promotion arbeitete Salvaneschi als Postdoktorand in der Software Engineering Group der Technischen Universität Darmstadt (2012–2016). Von 2016 bis 2020 war er als Assistenzprofessor an der TU Darmstadt tätig. Dort leitete er die Forschungsgruppe «Reactive Software Systems».

Prof. Dr. Guido Salvaneschi war seit dem 1. August 2020 Assoziierter Professor für Programming an der Universität St.Gallen. 2023 wurde er ausserdem zum Direktor des HSG-Instituts für Informatik gewählt und übt an diesem seit 2024 die Funktion des geschäftsführenden Direktors aus.

Forschung zu Software- und Systemsicherheit

Prof. Dr. Guido Salvaneschis Forschungsschwerpunkt liegt auf Methoden zur Sicherstellung der korrekten Ausführung von Programmen und zur Stärkung der Garantien für das Systemverhalten. Im Mittelpunkt seiner Arbeit stehen die Entwicklung von Programmiersprachen und formalen Techniken, die die Zuverlässigkeit und Sicherheit von Softwaresystemen verbessern. Zu seinen aktuellen Forschungsschwerpunkten zählen die Korrektheit und Sicherheit von Cloud-Implementierungen im Zusammenhang mit digitalen souveränen Lösungen sowie die Sicherheit von KI-basierten Anwendungen.

Er hat zahlreiche Beiträge in führenden Fachzeitschriften für Informatik veröffentlicht. Zudem ist er Mitglied der Programmkomitees renommierter internationaler Konferenzen, darunter die International Conference on Software Engineering (ICSE) und die International Conference on Programming Language Design and Implementation (PLDI).

Seine Forschungsarbeit wurde vom Schweizerischen Nationalfonds (SNF), der Europäischen Union (Horizon-Programm) und der Deutschen Forschungsgemeinschaft (DFG) unterstützt.

Strategische curriculare Entwicklung der School of Computer Science

Prof. Dr. Guido Salvaneschi unterrichtet in den SCS-Assessment-, Bachelor-, Master- und PhD-Programmen sowie in Executive-Education-Programmen innerhalb und ausserhalb der Universität St.Gallen. Darüber hinaus betreut er aktiv Studierende auf MSc- und BSc-Ebene. Prof. Dr. Guido Salvaneschi hat massgeblich zur strategischen Lehrplanentwicklung der School of Computer Science in der fruehen Entwicklungsphase der Programme beigetragen. Zudem war er an der jüngsten Entwicklung der Spezialisierung im Bereich Cybersicherheit innerhalb des Masterstudiengangs Informatik beteiligt.