Sandro Stucki


I'm a postdoctoral researcher at the department of Computer Science and Engineering (CSE) at Chalmers / University of Gothenburg. I did my doctoral studies at the Programming Methods Laboratory (LAMP) at EPFL under the supervision of Professor Martin Odersky.

In my research, I like to explore the many aspects of programming languages. I'm particularly interested in type systems and theory, the semantics and implementation of domain-specific languages, as well as formal methods for scientific modeling.

Until recently, I spent my time pondering the type safety of Scala and related type systems. These days, I’m busy applying formal methods and type theory to problems in privacy and security, and hacking type soundness proofs and category theory in Agda. I'm interested in the design of domain-specific languages for modeling probabilistic and stochastic systems, especially biochemical systems. I have also written a GNU/Emacs mode for Kappa, a modeling language for systems biology.

Find me

Research and Publications


I am currently teaching two courses at Chalmers/Gothenburg university:

Events and Service