Sandro is a lecturer at Chalmers University of Technology. In the past, he has worked as an applied scientist at Amazon, and as 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 the use formal methods for modelling and verifying systems, type systems and type theory, and the design and semantics of domain-specific languages. Among other things, Sandro has spent his time pondering the type safety of Scala, applying formal methods and type theory to problems in privacy/security and biochemistry, and hacking type soundness proofs and category theory in Agda.