Sandro Stucki

Registered user since Wed 13 Aug 2014

Name:Sandro Stucki
Bio:

Sandro is an applied scientist working in the Amazon Prime Video Automated Reasoning group. Before joining Amazon, he was a postdoctoral researcher at Chalmers and the University of Gothenburg. He did his doctoral studies 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 type safety of Scala, applying formal methods and type theory to problems in privacy and security, and hacking type soundness proofs and category theory in Agda. These days, he’s busy working on program analysis tools at Amazon.

Country:Sweden
Affiliation:Amazon Prime Video
Research interests:programming languages, formal methods, type theory, DSLs, executable biology

Contributions

POPL 2023 Author of Reconciling Shannon and Scott with a Lattice of Computable Information within the POPL-track
GPCE 2021 Committee Member in Program Committee within the GPCE-track
ICFP 2021 Author of A Theory of Higher-Order Subtyping with Type Intervals within the Research Papers-track
ICFP 2019 Committee Member in External Review Committee within the Research Papers-track
Scala 2019 Author in Steering Committee within the Scala 2019-track
Scala 2018 Committee Member in Steering Committee within the Scala 2018-track
POPL 2018 Author 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 2017 Committee Member in Steering Committee within the Scala 2017-track
Scala 2016 Co-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 2016 Author of Effects as Capabilities within the HOPE-track
SPLASH 2014 Author of Staged Parser Combinators for Efficient Data Processing within the OOPSLA-track