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. 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. My research interests are Programming Languages, particularly domain-specific languages, and Software Engineering, specifically for heterogeneous distributed systems.
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 Daniel Sokolowski
I am enthusiastic about software engineering and programming language technology for modern distributed systems and cloud applications. I focus on advancing Infrastructure as Code (IaC) to achieve reliable deployments for modern DevOps organizations.
School of Computer Science, Torstrasse 25, 9000 St. Gallen, Switzerland
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. In my PhD studies, I focus on my research interests regarding software engineering and security.
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
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
