Scala 2016
Sun 30 - Mon 31 October 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
Nada Amin

Registered user since Sun 17 Aug 2014

Name:Nada Amin
Bio:

Nada Amin is a member of the Scala team at EPFL, where she studies type systems and hacks on programming languages. She has contributed to Clojure’s core.logic and Google’s Closure compiler. She’s loved helping others learn to program ever since tutoring SICP as an undergraduate lab assistant at MIT.

Country:Switzerland
Affiliation:EPFL
Personal website:http://namin.net

Contributions

Scala 2016 Committee Member in Program Committee within the Scala-track
Mobile! 2016 Generative Programming: from High-Performance to Safety-Critical Applications
SPLASH 2016 Type Soundness for Dependent Object Types (DOT)
Java and Scala's Type Systems are Unsound: The Existential Crisis of Null Pointers
Panel: Young Researchers
Show activities from other conferences

SPLASH 2016-profile
View general profile