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 the University of Gothenburg and Chalmers. He did his doctoral studies at the Programming Methods Laboratory (LAMP) at EPFL, under the supervision of Martin Odersky. His research interests include formal methods for modelling and verifying complex systems, type systems and type theory, and the design and semantics of domain-specific languages. In the past, Sandro spent his time pondering the soundness of the Scala type system. These days, he’s busy applying formal methods and type theory to problems in privacy and security, and hacking type soundness proofs in Agda.

Country: Sweden

Affiliation: Chalmers | University of Gothenburg

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

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

Contributions

Scala 2019Author in Steering Committee within the Scala 2019-track
Scala 2018Committee Member in Steering Committee within the Scala 2018-track
ICFP 2019Committee Member in External Review Committee within the Research Papers-track
Scala 2017Committee Member in Steering Committee within the Scala 2017-track
POPL 2018Author of Simplicitly: Foundations and Applications of Implicit Function Types within the Artifact Evaluation-track
Author of Simplicitly: Foundations and Applications of Implicit Function Types within the Research Papers-track
Scala 2016Co-chair of Opening - Day 1 within the Scala-track
Co-chair of Opening - Day 2 within the Scala-track
Co-chair in Organizing Committee within the Scala-track
HOPE 2016Author of Effects as Capabilities within the HOPE-track
SPLASH 2014Author of Staged Parser Combinators for Efficient Data Processing within the OOPSLA-track