Blogs (9) >>
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
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:


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

SPLASH 2016-profile
View general profile