Nada AMIN

Work Address
Home Address

 

I am in the LAMP lab of EPFL in Western Switzerland.

Broadly, I am interested in exploring new ways of programming via meta-theory of programming languages, generative programming, programming verification, and computer-aided design to advance the state of art in other fields as well such as biology, music, and linguistics.

Here is my faculty application.

Education

Ecole Polytechnique Fédérale de Lausanne (l'EPFL)

Lausanne, VD, Switzerland
  • 2011
  • 2016
  • Doctoral Program in Computer, Communication and Information Sciences
  • Coursework includes
    • Foundations of Software [Scala]
    • Synthesis, Analysis, Verification [Scala]
  • Teaching assistant for Functional Programming Principles in Scala (2012, 2013, 2014), Principles of Reactive Programming (2013)
  • Teaching assistant for Programming I in Environmental Sciences & Engineering (2013), in Microengineering and in Electrical & Electronics Engineering (2015)
  • ‘‘Teaching Assistant Team Award’’ for Programming I (2015)

Massachusetts Institute of Technology (MIT)

Cambridge, Ma, Usa
  • Fall 2001
  • Fall 2008
  • Master of Engineering in Electrical Engineering & Computer Science, December '08 (GPA: 5.0/5.0)
  • Bachelor of Science in Computer Science & Engineering with Music Minor, May '08 (GPA: 4.5/5.0) — advised by Prof. M. Frans Kaashoek
  • Coursework included
    • Computer System Architecture [Assembly, C++] (G)
    • Large-scale Symbolic Systems [Scheme, Common Lisp] (G+)
    • Advanced Algorithms (G)
    • Multithreaded Parallelism: Languages and Compilers [Haskell] (G~)
    • Computational Biology [Python] (G~)
    • Classical Mechanics: A Computational Approach [Scheme] (G)
    • Audio Processing by People and Machines [Csound] (G)
    • Fundamentals of Probability (G)
    • Laboratory in Software Engineering [Java]
    • Computer Systems Engineering
    • Microcomputer Project Laboratory [Assembly]
    • Signals & Systems [Matlab]
    • Introduction to Algorithms
    • Mathematics for Computer Science
    • Circuits & Electronics
    • Structure & Interpretation of Computer Programs [Scheme]
    • Information & Entropy
    • Introduction to Western Music
    • Harmony & Counterpoint I & II
    • MIT Concert Choir
    • American Music (~)
    • Film Music
    • Modern Fiction
    • Introduction to Linguistics (+)
  • Lab assistant & tutor for 6.001 Structure & Interpretation of Computer Programs (2004, 2005, 2006)
  • Tutor for 6.046 Introduction to Algorithms (2005)
  • 6.170 Letter of Commendation awarded by Prof. Michael Ernst for outstanding performance in the ‘‘Laboratory in Software Engineering’’ class (2005)

Ecole Polytechnique Fédérale de Lausanne (l'EPFL)

Lausanne, VD, Switzerland
  • Spring 2004 & Spring 2007
  • Teaching assistant for Prof. Wulfram Gerstner's master-level machine learning course
  • Independent studies as a free-moving students
  • Coursework included
    • Artificial Intelligence [Common Lisp] (6/6)
    • Natural Language Processing [C++] (5.5/6)
    • Artificial Neural Networks [C, Python] (5.8/6)
    • Bio-Inspired Adaptive Machines [C, Python] (6/6)
    • Bioinformatics (5/6)
    • Modern Abstract Algebra (6/6)
    • Linear Algebra (5.5/6)
    • Economics (6/6)

Ecole Polytechnique (l'X)

Palaiseau, France
  • Fall 2003
  • Foreign exchange student
  • Coursework included
    • Computer Architecture (A)
    • Automata, Computability, and Complexity (A)
    • Programming Languages [OCaml] (A)
    • Computer Graphics [C++] (B)
  • Part of the school's all-girls basketball team

Collège Rousseau

Geneva, GE, Switzerland
  • August 1997
  • June 2001
  • Maturité cantonale et fédérale mention ‘‘bien’’

Selected Research Experience

Conference and Journal Papers

Talks and Meetings

Professional Service

  • Program Committee Member
    • POPL 2018
    • GPCE 2017
    • PPDP 2017
    • TyDe 2017
    • Scheme 2017 (general chair)
    • SPLASH Workshops 2017
    • FTfJP 2017
    • Scala 2016
    • ML 2016
    • TFP 2016
    • ECOOP 2016
    • OBT 2016
    • WGP 2014
    • Scheme 2013
  • Reviewer
    • PLDI 2017 (ERC)
    • POPL 2017 (ERC)
    • ICFP 2015
    • GPCE 2014
    • ICFP 2014
    • PPDP 2014
    • GPCE 2013
    • TFP 2013

Press Clips

Programming Methods Laboratory, LAMP, EPFL

Lausanne, VD, Switzerland
  • 2011
  • Present
  • Research in Programming Languages with Prof. Martin Odersky
  • Team projects include:
  • Side projects include:
    • inc — a study of the paper, an incremental approach to compiler construction
    • CLP(Set) in miniKanren — a study of the paper, sets and constraint logic programming
    • logically — exploration in relational programming and Prolog
    • io.livecode.ch — turning Github repositories into live web pages
  • Proof assistants and verifiers:
    • Extensive use of Coq, Dafny, Frama-C and Twelf
    • Found and fixed a soundness hole in Twelf +

RiSE, Microsoft Research

  • Visiting Research Scholar, invited by Dr. K. Rustan M. Leino
  • Tweaked Dafny as a proof assistant for meta-theory of programming languages

Computer Architecture Group, Computer Science & Artificial Intelligence Laboratory

Cambridge, Ma, Usa
  • Fall 2006
  • Fall 2008
  • Research in Design Automation for Programmable Microfluidic Chips with Prof. Saman Amarasinghe
  • Developed a plug-in to AutoCAD mainly in F#

Computational Molecular Biology, Max-Planck Institute for Molecular Genetics

Berlin, Germany
  • Summer 2003
  • & January 2004
  • Research in Computational Biology with Prof. Martin Vingron
  • Developed a 3D viewer for phylogenetic trees in Python, starting with VPython, to visualize duplications & speciations in time

Supercomputing Technologies Group, Laboratory for Computer Science

Cambridge, Ma, Usa
  • Summer 2002
  • & Fall 2002
  • Research in Computer Systems with Prof. Charles E. Leiserson
  • Improved a high-resolution virtual timer for Linux, modifying the kernel in C

Ideker Lab, Whitehead Institute for Biomedical Research

Cambridge, Ma, Usa
  • Fall 2001
  • & Spring 2002
  • Research in Computational Biology with Dr. Trey Ideker
  • Investigated the relationship between physical & genetic interactions
  • Developed software in C++ & Java to filter biological networks

Selected Work Experience

Google

Zürich, Switzerland
  • 2009
  • 2011
  • Gmail Software Engineer
  • Projects included
    • Compiler infrastructure supporting Gmail and Google Apps
    • Tools to diagnose Gmail's latency
    • Reducing server-side latency of sending emails
    • Reducing client-side latency of initial loading
    • Reducing lockouts of legitimate Gmail users
    • Prototyping a Wave / Gmail integration lab, launched internally
  • Code in Java, JavaScript, Python, Sawzall, Dremel, Awk & shell scripts
  • Awarded a Peer Bonus for enabling usage of Gmail's CSS compiler for Android projects
  • Part of the performance team that reduced stylesheet compilation from 5% of total cluster CPU time of Gmail to negligible
  • Trained on the Gmail release cycle, finding a bug initially classified as a cosmic ray

Google

Zürich, Switzerland
  • Summer 2008
  • Intern Software Engineer
  • Improved type inference and checking in a JavaScript-to-JavaScript compiler performing static analysis, code optimization and code compression
  • Awarded a Peer Bonus for "benefiting numerous projects including all of Google Apps"
  • See the Closure Compiler, opensourced in November 2009

Microsoft

  • Intern Software Development Engineer
  • Extended Visual Studio in C# to enable a RAD (Rapid-Application Development) experience for data-driven WCF (Windows Communication Foundation) clients

Lombard Odier Darier Hentsch (Private Bankers)

Geneva, Switzerland
  • Summer 2004
  • Intern in IT Architecture
  • Developed a solution to authenticate network devices with disconnected smartcard readers in C++ according to the RADIUS standard

ArsDigita Foundation

Cambridge, Ma, Usa
  • Summer 2000
  • Built & maintained database-backed websites using Oracle's RDBMS with Philip Greenspun
  • Instructed software engineers on web services
  • Toured California as part of a non-profit organization to match pet lovers with abandoned pets
  • First runner-up in ArsDigita Prize 1999 for Metis Service