xOur data center is currently experiencing power issues. Our colleagues are working hard to resolve the issue and keep downtime to a minimum.
ICFP 2021
Sun 22 - Sat 28 August 2021
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 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 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
Research interests:programming languages, formal methods, type theory, DSLs, executable biology

Contributions

ICFP 2021 A Theory of Higher-Order Subtyping with Type Intervals
Show activities from other conferences

ICFP 2021-profile
View general profile