Appointment: Guido Salvaneschi

Prof. Dr. Guido Salvaneschi completed his Bachelor’s and Master’s degrees in Computer Science at the Polytechnic University of Milan, Italy, from 2003 to 2008. He subsequently earned his doctorate in Information and Communication Technology at the same institution (2009–2011). His doctoral research focused on programming language techniques for adaptive software. During this time, he undertook research stays at the Technical University of Darmstadt and the Massachusetts Institute of Technology.

Following his doctorate, he joined the Software Engineering Group at the Technical University of Darmstadt as a postdoctoral researcher (2012–2016). From 2016 to 2020, he served as Assistant Professor at TU Darmstadt, where he led the “Reactive Software Systems” research group.

Since 1 August 2020, Prof. Salvaneschi has been Associate Professor of Programming at the University of St.Gallen. In 2023, he was elected Director of the HSG Institute of Computer Science and has served as its Managing Director since 2024.

Research on software and system security

Prof. Dr. Guido Salvaneschi’s research focuses on methods to ensure the correct execution of programs and to strengthen guarantees about system behavior. His work centers on the design of programming languages and formal techniques that enhance the reliability and security of software systems. Recent research directions include the correctness and security of cloud deployments in the context of digital sovereign solutions, as well as the security of AI-based applications.

He has published extensively in leading computer science venues and serves on the program committees of top international conferences, including the International Conference on Software Engineering (ICSE) and the International Conference on Programming Language Design and Implementation (PLDI).

His research has been supported by the Swiss National Science Foundation (SNF), the European Union (Horizon programme), and the German Research Foundation (DFG).

Strategic curriculum development at the School of Computer Science

Prof. Dr. Guido Salvaneschi teaches in the SCS Assessment, Bachelor's, Master's, and PhD programs, as well as in executive education programs both within and outside the University of St.Gallen. He also actively supervises students at the MSc and BSc levels. Prof. Dr. Guido Salvaneschi has contributed significantly to the strategic curriculum development of the School of Computer Science in the early development of the programmes and in the recent development of the specialization in Cybersecurity within the Master in Computer Science.