Scala 2016
Sun 30 - Mon 31 October 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Sandro Stucki

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.

Country:Switzerland
Affiliation:EPFL
Research interests:programming languages, type theory, DSLs, executable biology

Contributions

Scala 2016 Opening - Day 1
Opening - Day 2
Co-chair in Organizing Committee within the Scala-track
Show activities from other conferences

SPLASH 2016-profile
View general profile