ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Sandro Stucki

Registered user since Wed 13 Aug 2014

Name: Sandro Stucki

Bio: Sandro is a postdoctoral researcher at the department of Computer Science and Engineering (CSE) at Chalmers/University of Gothenburg. He did his doctoral studies at the Programming Methods Laboratory (LAMP) at EPFL, supervised by Martin Odersky. His research interests include type systems and type theory, the design and semantics of domain-specific languages and formal methods for modeling systems biology. He is participating in the ongoing effort to formalize Scala’s type system and likes to hack on type soundness proofs and other theories in Agda.

Country: Switzerland

Affiliation: Chalmers | University of Gothenburg

Personal website: https://sstucki.github.io/

Research interests: programming languages, formal methods, type theory, DSLs, executable biology

Contributions

ICFP 2019Committee Member in External Review Committee within the Research Papers-track
Show activities from other conferences

Using general profile