Guido Salvaneschi is a Professor and Head of the Programming Group at the Institute of Computer Science within the School of Computer Science at the University of St. Gallen, Switzerland. His work bridges theoretical foundations with practical applications in programming languages and software engineering, with a particular focus on distributed systems and infrastructure as code. His research interests span programming languages, software engineering, distributed systems, reactive programming, DevOps organizations, and secure software systems. He has made significant contributions to multitier programming languages, consistency models for distributed applications, and infrastructure as code testing frameworks. Salvaneschi's recent publications reveal a strong focus on infrastructure as code analysis and testing, with multiple papers accepted at top conferences in 2024-2025. His work demonstrates a consistent thread connecting programming language theory with practical systems challenges, particularly in cloud and distributed environments. His Programming Group at the University of St. Gallen includes several PhD students and researchers working on cutting-edge topics in software systems. Current projects include Consistency Programming for Local First Software (an SNF project), HORIZON-RIA for European edge computing infrastructure, and Multitier Programming above the Clouds (another SNF project). As an active member of the research community, Salvaneschi serves on program committees for major conferences including ASE, PLDI, and ICSE, demonstrating his standing within the programming languages and software engineering fields.
