Title: Home | Programming Group
Open Graph Title: Home
X Title: Home
Description: Welcome to the Programming Group at the University of St. Gallen. Team. Projects. Support.
Open Graph Description: Welcome to the Programming Group at the University of St. Gallen. Team. Projects. Support.
Mail addresses
guido.salvaneschi@unisg.ch
guido.salvaneschi@unisg.ch
guido.salvaneschi@unisg.ch
Opengraph URL: https://programming-group.com/
Generator: Jekyll v4.3.4
Domain: programming-group.com
{"@context":"https://schema.org","@type":"WebSite","description":"Welcome to the Programming Group at the University of St. Gallen. Team. Projects. Support.","headline":"Home","image":"https://programming-group.com/assets/img/og/pg.png","name":"Programming Group","url":"https://programming-group.com/"}| None | IE=edge |
| og:locale | en_US |
| og:site_name | Programming Group |
| og:image | https://programming-group.com/assets/img/og/pg.png |
| og:type | website |
| twitter:card | summary_large_image |
| twitter:image | https://programming-group.com/assets/img/og/pg.png |
| google-site-verification | RMUCoHAseeFv2jAdfyJb4XLx4e1J8XpU1l8fvwAxk1g |
Links:
| https://programming-group.com/ | |
| Home (current) | https://programming-group.com/ |
| Team | https://programming-group.com/team |
| Teaching | https://programming-group.com/teaching |
| Publications | https://programming-group.com/publications |
| Open Positions | https://programming-group.com/open-positions |
| Contact | https://programming-group.com/contact |
| https://twitter.com/prg_grp | |
| https://www.youtube.com/channel/UCW60aqeksbbWTT-7sR6G97w | |
| https://programming-group.com/members/salvaneschi | |
| Prof. Dr. Guido Salvaneschi | https://programming-group.com/members/salvaneschi |
| Institute of Computer Science (ICS) | https://ics.unisg.ch/ |
| University of St. Gallen (HSG) | https://www.unisg.ch/ |
| join our group | https://programming-group.com/open-positions |
| our courses, theses, and jobs | https://programming-group.com/teaching |
| Dr. Matteo Biagiola | https://programming-group.com/members/biagiola |
| MSc Christoph Bühler | https://programming-group.com/members/buehler |
| MSc Jahrim Gabriele Cesario | https://programming-group.com/members/cesario |
| Dr. Luca Di Grazia | https://programming-group.com/members/digrazia |
| Amelia Gasser (HiWi) | https://programming-group.com/members/gasser |
| MSc Paul-Philipp Luley (HiWi) | https://programming-group.com/members/luley |
| MSc David Spielmann | https://programming-group.com/members/spielmann |
| MSc Alexander Städing | https://programming-group.com/members/staeding |
| Dr. Pascal Weisenburger | https://programming-group.com/members/weisenburger |
| MSc George Zakhour | https://programming-group.com/members/zakhour |
| MSc George Zakhour | https://programming-group.com/members/zakhour |
| Save Time and Mechanize | https://programming-group.com/assets/pdf/papers/2026_Save-Time-And-Mechanize.pdf |
| overview paper | https://programming-group.com/assets/pdf/papers/2026_CAPE-European-Open-Compute-Architecture-for-Powerful-Edge.pdf |
| Swiss Verification Day 2026 | https://proofs.swiss/svd/2026/ |
| open | https://forms.gle/qhuHFchDLkUkNNNj7 |
| Prof. Andrea Stocco | https://www.cs.cit.tum.de/en/sse/stocco/ |
| Beat Buesser | https://research.ibm.com/people/beat-buesser--1 |
| Prof. Davide Ancona | https://person.dibris.unige.it/ancona-davide/ |
| Prof. Guido Salvaneschi | https://programming-group.com/members/salvaneschi |
| DARE 2025 Summer School | https://dare-lisbon.github.io/ |
| Our overview paper | https://programming-group.com/assets/pdf/papers/2026_CAPE-European-Open-Compute-Architecture-for-Powerful-Edge.pdf |
| CAPE Horizon project | https://cape-project.eu/ |
| PhD Luca Di Grazia | https://programming-group.com/members/digrazia |
| Hybrid Fuzzing of Infrastructure as Code Programs | https://programming-group.com/assets/pdf/papers/2025_hybrid-fuzzing-of-iac-programs.pdf |
| FUZZING ‘25 | https://conf.researchr.org/home/issta-2025/fuzzing-2025 |
| Type-checking for CRDTs, tracking algebraic properties in types. | https://propel-prover.github.io/ |
| Automated unit testing of Infrastructure as Code programs. | https://proti-iac.github.io |
| Safe mixing of consistency levels for replicated objects. | https://consyst-project.github.io/ |
| Infrastructure as Code for decentralized deployment automation. | https://mjuz.rocks |
| MetaverCE: A demonstration of Cloud Engineering in the Metaverse. | https://programming-group.com/projects/metaverce |
| JE Language-level abstractions for secure programming with Trusted Execution Environments. | https://prg-grp.github.io/je-lang |
| A programming language for distributed applications. | https://scala-loci.github.io/ |
| Advanced functional reactive programming for the JVM and the Web. | https://www.rescala-lang.com/ |
| Great Minds Postdoctoral Fellowships Fellowship support for Dr. Luca Di Grazia, supporting his research on Secure Software in the Age of Massively GenAI-Generated Code. | https://www.unisg.ch/en/research/research-at-hsg/research-support/internal-funding/international-postdoctoral-fellowships/ |
| Software Testing of Infrastructure as Code Engines for Secure Cloud Deployments Project with the Cyber-Defence Campus (CYD). The project focuses on testing Infrastructure as Code (IaC) engines to ensure they function correctly and securely. By identifying potential vulnerabilities and misconfigurations in IaC tools, the project aims to enhance the security of cloud deployments managed through these engines. | https://www.cydcampus.admin.ch/en |
| Consistency Programming for Local First Software SNF project. Programming abstractions for local-first software, CRDTs, consistency levels, verification of replicated data structures, privacy preserving data pods. | https://data.snf.ch/grants/grant/10001777 |
| HORIZON-RIA: European Open Compute Architecture for Powerful Edge A future proof, powerful edge-cloud computing infrastructure, allowing European enterprises to keep control of the processing and management of their data and AI locally and enabling them to easily create a seamless computing experience stretching from edge to cloud. | https://cape-project.eu/ |
| completed Multitier Programming above the Clouds SNF project. Multitier programming for heterogeneous platforms and devices, the cloud, mobile applications, Internet of Things (IoT) software, and Big Data processing stacks. | https://data.snf.ch/grants/grant/200429 |
| completed Systematic Testing of Supply Chain Infrastructure Configuration Project with the Cyber-Defence Campus (CYD). Modern unit testing techniques to assess IaC programs in numerous configurations, to detect configuration errors and uncover dependencies that may lead to system vulnerabilities. | https://www.cydcampus.admin.ch/en |
| completed Pre-Deployment Verification of Infrastructure as Code Project with the Cyber-Defence Campus (CYD). The project contributes to the broader vision of protecting infrastructures from attacks that exploit security vulnerabilities. The project aims to verify infrastructure code before deployment, providing cloud administrators with early insights. | https://www.cydcampus.admin.ch/en |
| completed DFG SFB. Cryptography-Based Security Solutions. Secure cryptography-based software for next generation computing environments. | https://www.crossing.tu-darmstadt.de/ |
| completed International Postdoctoral Fellowship Fellowship support for Dr. Pascal Weisenburger, supporting his research on multitier programming languages. | https://www.unisg.ch/en/research/research-at-hsg/research-support/internal-funding/international-postdoctoral-fellowships/ |
| completed LOEWE project. Emergency Responsive Digital Cities: Resilient software infrastructures to protect smart cities from disasters. | https://www.emergencity.de/ |
| completed National center for applied cybersecurity. Mission: Decentralized Cybersecurity. Application-oriented cybersecurity for business, society and government. | https://www.athene-center.de/ |
| completed Distributed Systems Development with MT and RP DFG Individual Research Program. Distributed Systems Development with Multitier Reactive Programming. High-level language abstractions for developing distributed software systems. | https://gepris.dfg.de/gepris/projekt/383964710?language=en |
| completed MAKI DFG SFB. Event-Based Communication in Programmable Networks. Adaptation, interaction and optimization of communication systems. | https://www.maki.tu-darmstadt.de/ |
| completed Software-Factory 4.0 LOEWE project. Engineering software systems for high performance computing (HPC) using modern smart technology. | https://www.software-factory-4-0.de/ |
| completed ReDOOP DFG Individual Research Program. Reactive Design for Object Oriented Programming. | https://gepris.dfg.de/gepris/projekt/322196540?language=en |
| Impressum | https://programming-group.com/impressum |
Viewport: width=device-width, initial-scale=1, shrink-to-fit=no