Programming Group
Prof. Dr. Guido Salvaneschi
Head of the Programming Group
guido.salvaneschi@unisg.ch
School of Computer Science
Office 64-114
Torstrasse 25
9000 St. Gallen, Switzerland
“Where should I go?” – Alice.
“That depends on where you want to end up.” – The Cheshire Cat.
— Lewis Carroll
Welcome to the Programming Group! We are part of the Institute of Computer Science (ICS) at the University of St. Gallen (HSG). Together we enjoy working on Programming Languages and Software Engineering, including languages and architectures for Distributed Systems, Reactive Programming, DevOps Organizations, and Secure Software Systems.
Talk to us or join our group when you are interested in these topics or our work. Students at the University of St. Gallen, please find our courses, theses, and jobs.
News
| Mar 2025 | PhD student Nicolas Farabegoli from university of Bologna visiting the group for three months! |
|---|---|
| Mar 2025 | MSc Timo Streule, MSc Paul-Philipp Luley, and BSc Alessio Fabio Brazerol joined our group as student researchers 👋 |
| Feb 2025 | PhD Matteo Biagiola joined our group 👋 |
| Jan 2025 | Our paper TerraDS: A Dataset for Terraform HCL Programs is accepted at MSR ‘25, data and tool showcase track 🎉 See you in Ottawa in April 🇨🇦 |
| Nov 2024 | Our paper Dis/Equality Graphs is accepted at POPL ‘25, research track 🎉 See you in Denver 🇺🇸 |
| Nov 2024 | New accepted project! HORIZON-RIA: European Open Compute Architecture for Powerful Edge. |
| Nov 2024 | MSc Alexander Städing joined our group 👋 |
| Sep 2024 | Our paper on Consistent Local-First Software: Enforcing Safety and Invariants for Local-First Applications with ConSysT has been accepted for publication at the TSE journal 🎉 |
| Sep 2024 | We are at ECOOP ‘24 📣 PhD Pascal Weisenburger will be accepting his Distinguished Paper Award for Compiling with Arrays. See you in Austria 🇦🇹 |
| Jul 2024 | MSc Christoph Bühler joined our group 👋 |
