Pascal Weisenburger

Pascal Weisenburger is a researcher at the School of Computer Science, University of St. Gallen. His work focuses on programming languages for distributed systems, emphasizing multitier programming, reactive paradigms, and type-driven placement reasoning.

• Research Themes: Multitier programming languages, CRDTs, dynamic placement type systems, reactive microservices, compiler correctness, and domain-specific scheduling.
• Recent Articles: Explored E-graphs for disequality reasoning (POPL 2025), array type duality in functional languages (ECOOP 2024), and formal verification of CRDTs (PLDI 2023).
• Committee Roles: Participated in program/steering committees for ECOOP, SPLASH, APLAS, and IEEE BigData conferences.

Key Contributions: Developed the ScalaLoci language for multitier systems, proposed Propel for algebraic property verification, and introduced Dyno for static reasoning in dynamic placement scenarios.