MSc Alexander Städing
MSc Alexander Städing
0009-0002-6459-7881
alexstaeding
School of Computer Science
Torstrasse 25
9000 St. Gallen, Switzerland
I joined the Programming Group as a PhD student in November 2024 after completing my Bachelor’s and Master’s degree in Computer Science at TU Darmstadt.
My research interest is at the intersection of programming language theory and distributed systems, with a current focus on the safety and efficiency of distributed systems with loose consistency guarantees. I am currently exploring formal frameworks for modular verification of Op-based CRDTs.