Sun 22 - Fri 27 October 2023 Cascais, Portugal
Sandro Stucki

Registered user since Wed 13 Aug 2014

Name:Sandro Stucki

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.

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


GPCE 2023 Committee Member in Program Committee within the GPCE 2023-track
Show activities from other conferences

Using general profile