Nada Amin

Work Address
Home Address

 

Education

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

Lausanne, VD, Switzerland
  • Fall 2011
  • Present
  • 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 (2011)

Massachusetts Institute of Technology (MIT)

Cambridge, Ma, Usa
  • Fall 2001
  • Fall 2008
  • Bachelor of Science in Computer Science & Engineering, with Music Minor & Concentration, May '08 (GPA: 4.5/5.0) [advisor: M. Frans Kaashoek]
  • Master of Engineering in Electrical Engineering & Computer Science, December '08 (GPA: 5.0/5.0)
    Thesis title: Computer-Aided Design for Multilayer Microfluidic Chips
  • 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 (samples)
    • Introduction to Linguistics (+)
  • Lab Assistant & HKN tutor for 6.001 Structure & Interpretation of Computer Programs (2004, 2005, 2006)
  • 6.170 Letter of Commendation awarded by Prof. Michael Ernst for outstanding performance in the ‘‘Laboratory in Software Engineering’’ class (2005)
  • HKN tutor for 6.046 Introduction to Algorithms (2005)

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

Lausanne, VD, Switzerland
  • Spring 2004 and 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
  • Student accepted through the International Program, a competitive exchange program for foreign students
  • 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 type C mention ‘‘bien’’

Selected Research Experience

Publications

  • With Owen Ozier & Trey Ideker, ‘‘Global architecture of genetic interactions on protein network’’, Nature Biotechnology, May 2003; 21(5):490-1 (PDF)
  • With Paul Shannon et al., ‘‘Cytoscape: A Software Environment for Integrated Models of Biomolecular Interaction Networks’’, Genome Research, November 2003; 13: 2498-2504 (PDF)
  • With William Thies and Saman Amarasinghe, ‘‘Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography’’, IEEE International Conference on Computer Design, October 2009 (PDF)
  • With Grzegorz Kossakowski, Tiark Rompf and Martin Odersky, ‘‘JavaScript as an Embedded DSL’’, ECOOP'12: 26th European Conference on Object-Oriented Programming, June 2012 (PDF)
  • With Adriaan Moors and Martin Odersky, ‘‘Dependent Object Types’’, FOOL'12: 19th International Workshop on Foundations of Object-Oriented Languages, October 2012 (PDF)
  • With Tiark Rompf et al., ‘‘Optimizing Data Structures in High-Level Programs’’, POPL'13: 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 2013 (PDF)

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, leading to a publication & a growing project
  • Developed software in C++ & Java to filter biological networks
  • See cytoscape.org

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

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

Computer Architecture Group, Computer Science & Artificial Intelligence Laboratory

Cambridge, Ma, Usa
  • Fall 2006
  • Fall 2008

Programming Methods Laboratory, LAMP, EPFL

Lausanne, VD, Switzerland
  • Fall 2011
  • Present

Selected Work Experience

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

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++

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

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
  • Robby Walker awarded me a Peer Bonus for "benefiting numerous projects including all of Google Apps"
  • See the Closure Compiler, opensourced in November 2009

Google

Zürich, Switzerland
  • 2009
  • 2011
  • Gmail Software Engineer
  • Projects include
    • Compiler infrastructure supporting Gmail and Google Apps
    • Tools to diagnostic Gmail's latency
    • Reducing server-side latency of sending emails
    • Reducing lockouts of legitimate Gmail users
    • Prototyping of a Wave / Gmail integration lab, launched internally
  • Code in Java, JavaScript, Python, Sawzall, Dremel, Awk & shell scripts
  • Ben Komalo awarded me a Peer Bonus for enabling usage of Gmail's CSS compiler for Android projects