About
I'm an applied scientist working at Amazon Prime Video. Before joining Amazon, I was 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 formal methods, type systems and theory, and the semantics and implementation of domain-specific languages.
Until recently, I spent my time applying formal methods and type theory to problems in privacy and security, pondering the type safety of Scala and related type systems, 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
- Lifting On-Demand Analysis to Higher-Order Languages. Daniel Schoepe, David Seekatz, Ilina Stoilkovska, Sandro Stucki, Daniel Tattersall, Pauline Bolignano, Franco Raimondi, and Bor-Yuh Evan Chang. In Proceedings of the 30th International Symposium on Static Analysis (SAS 2023).
- Reconciling Shannon and Scott with a Lattice of Computable Information. Sebastian Hunt, David Sands, and Sandro Stucki. In Proceedings of the ACM on Programming Languages, 7(POPL).
- Precise Analysis of Purpose Limitation in Data Flow Diagrams. Hanaa Alshareef, Katja Tuma, Sandro Stucki, Gerardo Schneider, and Riccardo Scandariato. In Proceedings of the 17th International Conference on Availability, Reliability and Security (ARES 2022).
- Refining Privacy-Aware Data Flow Diagrams. Hanaa Alshareef, Sandro Stucki, and Gerardo Schneider. In Proceedings of the 19th International Conference on Software Engineering and Formal Methods (SEFM 2021).
- A Theory of Higher-Order Subtyping with Type Intervals. Sandro Stucki and Paolo G. Giarrusso. In Proceedings of the ACM on Programming Languages, 5(ICFP).
- Gray-box monitoring of hyperproperties with an application to privacy. Sandro Stucki, César Sánchez, Gerardo Schneider, and Borzoo Bonakdarpour. In Formal Methods in System Design, 58(1-2).
- Transforming Data Flow Diagrams for Privacy Compliance. Hanaa Alshareef, Sandro Stucki, and Gerardo Schneider. In Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2021).
- Rate Equations for Graphs. Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, and Sandro Stucki. In Proceedings of the 18th International Conference on Computational Methods in Systems Biology (CMSB 2020).
- Gray-box Monitoring of Hyperproperties. Sandro Stucki, César Sánchez, Gerardo Schneider, and Borzoo Bonakdarpour. In Proceedings of the 3rd World Congress on Formal Methods (FM '19).
- Simplicitly: Foundations and Applications of Implicit Function Types. Martin Odersky, Olivier Blanvillain, Fengyun Liu, Aggelos Biboudis, Heather Miller, and Sandro Stucki. In Proceedings of the ACM on Programming Languages, 2(POPL).
- Higher-Order Subtyping with Type Intervals. Sandro Stucki. PhD thesis.
- Proceedings of the 7th ACM SIGPLAN Symposium on Scala (SCALA@SPLASH 2016). Aggelos Biboudis, Manohar Jonnalagedda, Sandro Stucki, and Vlad Ureche (editors). Colocated with SPLASH'16 in Amsterdam, the Netherlands, 30 – 31 October, 2016.
- The Essence of Dependent Object Types. Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, and Sandro Stucki. In A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday (WadlerFest '16).
- Moment Semantics for Reversible Rule-Based Systems. Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, and Sandro Stucki. In Reversible Computation -- 7th International Conference (RC '15).
- Fold-Based Fusion as a Library: a Generative Programming Pearl. Manohar Jonnalagedda and Sandro Stucki. In Proceedings of the 6th ACM SIGPLAN Symposium on Scala (Scala '15).
- Computing approximations for graph transformation systems. Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, and Sandro Stucki. In 2nd International Workshop on Meta Models for Process Languages (MeMo '15).
- Approximations for Stochastic Graph Rewriting. Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, and Sandro Stucki. In Formal Methods and Software Engineering -- 16th International Conference on Formal Engineering Methods (ICFEM '14).
- Staged Parser Combinators for Efficient Data Processing. Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, and Martin Odersky. In Proceedings of the 2014 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications (OOPSLA '14).
- Yin-yang: Concealing the Deep Embedding of DSLs. Vojin Jovanovic, Amir Shaikhha, Sandro Stucki, Vladimir Nikolaev, Christoph Koch, and Martin Odersky. In Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences (GPCE '14).
- Reversible Sesqui-Pushout Rewriting. Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, and Sandro Stucki. In Graph Transformation -- 7th International Conference (ICGT '14).
- What are the Odds? Probabilistic programming in Scala. Sandro Stucki, Nada Amin, Manohar Jonnalagedda, and Tiark Rompf. In Proceedings of the 4th Workshop on Scala (Scala '13).
- Deriving rate equations for site graph rewriting systems. Vincent Danos, Russ Harmer, Ricardo Honorato-Zimmer, and Sandro Stucki. To appear in Proceedings of the 4th International Workshop on Static Analysis and Systems Biology (SASB '13).
- Rigid geometric constraints for Kappa models. Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, and Sandro Stucki. In Proceedings of the 3rd International Workshop on Static Analysis and Systems Biology (SASB '12).
- Coarse-graining the dynamics of ideal branched polymers. Vincent Danos, Ricardo Honorato-Zimmer, Sebastián Jaramillo-Riveri, and Sandro Stucki. In Proceedings of the 3rd International Workshop on Static Analysis and Systems Biology (SASB '12).
Teaching
In the past, I taught two courses at Chalmers/Gothenburg university:
- TDA384/DIT391 – Principles of Concurrent Programming, spring 2019, SP3 at Chalmers/Gothenburg University.
- Types and programming languages (aka the Initial Types Club), spring 2019 at Chalmers/Gothenburg University.
Events and Service
Community Service
- Organizer and PC co-chair: Scala 2016.
- PC member: ECAI 2024, NWPT 2023, GPCE 2023, NWPT 2022, NWPT 2021, GPCE 2021.
- ERC member: ICFP 2019.
- Steering committee member: Scala 2019, Scala 2018, Scala 2017.
- Journal reviewer: JLAMP 2021 – 2022, JFP 2017 – 2018, TCBB 2018.
- Sub-reviewer: SAS 2023, CAV 2023, VMCAI 2023, ESOP 2022, CSF 2021, POPL 2020, ESOP 2018, FM 2019, FoSSaCS 2016, ML 2016, CSL-LICS 2014, HLPP 2014, ICFP 2014.
Events and Talks
- RV Lectures @ ICTAC '20 on 30 Nov – 1 Dec 2020, online (speaker).
- FM Retreat '19 on 23 – 24 May 2019, at Strandflickornas Havshotell in Lysekil, Sweden (co-organizer).
- MBM 2019 on 9 – 10 May 2019, in Gothenburg, Sweden (speaker).
- ICFP '19 on 19 – 21 August 2019, in Berlin, Germany (ERC member).
- Scala '19 on 17 July 2019, co-located with ECOOP 2019 in London, UK (steering committee member).
- Gothenburg Science Festival on 6 April 2019, at the Dome of Visions, Campus Lindholmen, Gothenburg, Sweden (co-organizer and speaker).
- Scala '18 on 28 September 2018, co-located with ICFP 2018 in St. Louis, Missouri, USA (steering committee member).
- Scala '17 on 22 – 23 October 2017, co-located with SPLASH 2017 in Vancouver, Canada (steering committee member).
- Scala '16 on 30 – 31 October 2016, co-located with SPLASH 2016 in Amsterdam, Netherlands (organizer).