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.