Blogs (9) >>
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Nada Amin

Registered user since Sun 17 Aug 2014

Name:Nada Amin

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.

Personal website:


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
Scala 2016 Committee Member in Program Committee within the Scala-track
Show activities from other conferences

SPLASH 2016-profile
View general profile