Registered user since Wed 13 Aug 2014
Name: Sandro Stucki
Bio: Sandro is a PhD student at the Programming Methods Laboratory (LAMP) at EPFL, supervised by Martin Odersky. His research interests include type systems and type theory, the design and semantics of domain-specific languages and formal methods for modeling systems biology. He is participating in the ongoing effort to formalize Scala’s type system and likes to hack on type soundness proofs and other theories in Agda.
Personal website: http://lamp.epfl.ch/~sstucki/
Research interests: programming languages, type theory, DSLs, executable biology
|Scala 2017||Committee Member in Steering Committee within the Scala 2017-track|
|Show activities from other conferences|
View general profile