Team
Faculty

Prof. Dr. Guido Salvaneschi
Head of the Programming Group
I’m a (tenured) Associate Professor at the University of St.Gallen from September 2020. Before, I have been an assistant professor at TU Darmstadt, where I led the Reactive Software Systems group.
School of Computer Science, Office 64-114, Torstrasse 25, 9000 St. Gallen, Switzerland
Postdoctoral Researchers

Dr. Matteo Biagiola
I am a PostDoctoral researcher at the Software Institute at Università della Svizzera italiana (USI) in Lugano, Switzerland. I am working under the supervision of Paolo Tonella on the Precrime ERC Advanced Grant project. I obtained by Ph.D. from Università degli studi di Genova, Genova, Italy, in a joint collaboration with Fondazione Bruno Kessler in Trento, Italy, under the supervision of Paolo Tonella and Filippo Ricca.
School of Computer Science, Torstrasse 25, 9000 St. Gallen, Switzerland

Dr. Pascal Weisenburger
My current research focuses on the design of languages for distributed systems with a wide range of software architectures – e.g., peer-to-peer, cloud, edge, serverless, IoT – regarding sound programming models for the interaction between components, their composition, privacy protection issues, type systems for reasoning about the placement of data and computation.
School of Computer Science, Torstrasse 25, 9000 St. Gallen, Switzerland
Doctoral Researchers

MSc Jahrim Gabriele Cesario
I am a PhD student in the Programming Group since May 2024. I am currently researching optimizations for formal verification methods in the field of Programming Languages.
School of Computer Science, Torstrasse 25, 9000 St. Gallen, Switzerland

MSc Nafise Eskandani
I am a PhD student at the Technical University of Darmstadt and an Associate Scientist at ABB Corporate Research Center. My research interests include Cloud Native Applications, Digital Twin, Software Architecture, and Software Engineering. Currently, I am working on programming models for decentralized and resilient systems.
Wallstadter Str. 59, 68526 Ladenburg, Germany

MSc David Spielmann
I joined the Programming Group as a PhD student in May 2023. As part of my Master's thesis, I used to examine power side-channel attacks on remotely accessible FPGAs. My current research interests encompass software engineering and security, with a particular focus on improving the reliability of Infrastructure as Code (IaC) to ensure robust and consistent cloud deployments.
School of Computer Science, Torstrasse 25, 9000 St. Gallen, Switzerland

MSc Alexander Städing
I am a PhD student in the Programming Group since November 2024.
School of Computer Science, Torstrasse 25, 9000 St. Gallen, Switzerland

MSc George Zakhour
I am a PhD student at the Programming Group since August 2021. Before I was an R&D software developer at Agilent Technologies. My research interests are the formal study of programming languages, mathematical logic (and its relation to programming), quantum computation from the perspective of computability and complexity, and numerical simulations.
School of Computer Science, Torstrasse 25, 9000 St. Gallen, Switzerland
Student Researchers

MSc Christoph Bühler
I joined the Programming Group as a Research Assistant in July 2024. My Master Thesis of the university of applied science OST (former HSR) resolved around identity security and authentication in heterogenuous systems. In September 2024, I will enroll at the HSG for a Masters Degree in Computer Science with the goal of becoming a PhD student in the future. My research interests regard software engineering and programming languages in general, software and system security, and infrastructure as code.
School of Computer Science, Torstrasse 25, 9000 St. Gallen, Switzerland

MSc Paul-Philipp Luley
I am an MBI student at the University of St. Gallen.
School of Computer Science, Torstrasse 25, 9000 St. Gallen, Switzerland

MSc Timo Streule
I am a student researcher on the CAPE project.
School of Computer Science, Torstrasse 25, 9000 St. Gallen, Switzerland
Alumni

MSc Benyamin Delshad Mamaghani
I was a PhD student in the Programming Group from October 2020 until March 2022 at the University of St. Gallen. My research interests include Programming Languages and Software Engineering. I worked on consistency problems in programming.
School of Computer Science, Torstrasse 25, 9000 St. Gallen, Switzerland

BA Quentin Gigon
I hold a Bachelor of Arts in Economics from the University of St. Gallen and am currently pursuing a Bachelor of Science in Computer Science at ETH Zurich. I was in the Programming Group from Fall 2022 to Spring 2024, where I contributed to programming in the Metaverse as well as automated testing techniques for modern Infrastructure as Code programs.
School of Computer Science, Torstrasse 25, 9000 St. Gallen, Switzerland

BA Alex Paolo Marchese
I am an MBI student at the University of St. Gallen. I was in the Programming Group from Fall 2023 to Spring 2024 to dive deep into the latest advances of large language models and their impact on software engineering.
School of Computer Science, Torstrasse 25, 9000 St. Gallen, Switzerland

MSc Mirko Köhler
I work on programming abstractions for replicated data. Currently, I'm the main contributor to ConSysT, an object-oriented language for mixed consistency with replicated objects. My research interests include concurrency, mixed consistency protocols, and type systems.
Hochschulstr. 10, 64289 Darmstadt, Germany