Nada AMIN

Work Address
Private Address

 

 

 

Harvard John A. Paulson School of Engineering and Applied Sciences (SEAS)

Cambridge, Ma, Usa
  • 2019
  • Present

Research

Papers

Talks and Meetings

Professional Service

Department of Computer Science & Technology, University of Cambridge

Cambridge, Uk
  • 2017
  • 2019

Software Technology Group, TU Darmstadt

Darmstadt, Germany
2017

Programming Methods Laboratory, LAMP, EPFL

Lausanne, VD, Switzerland
  • 2011
  • 2017

RiSE, Microsoft Research

Redmond, Wa, Usa
  • June 24, 2013
  • July 5, 2013

Computer Architecture Group, Computer Science & Artificial Intelligence Laboratory

Cambridge, Ma, Usa
  • Fall 2006
  • Fall 2008

Computational Molecular Biology, Max-Planck Institute for Molecular Genetics

Berlin, Germany
  • Summer 2003
  • & January 2004

Supercomputing Technologies Group, Laboratory for Computer Science

Cambridge, Ma, Usa
  • Summer 2002
  • & Fall 2002

Ideker Lab, Whitehead Institute for Biomedical Research

Cambridge, Ma, Usa
  • Fall 2001
  • & Spring 2002

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
  • Bachelor of Science in Computer Science & Engineering with Music Minor, May '08 — 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]
    • Natural Language Processing [C++]
    • Artificial Neural Networks [C, Python]
    • Bio-Inspired Adaptive Machines [C, Python]
    • Bioinformatics
    • Modern Abstract Algebra
    • Linear Algebra
    • Economics

Ecole Polytechnique (l'X)

Palaiseau, France
  • Fall 2003
  • Foreign exchange student
  • Coursework included
    • Computer Architecture
    • Automata, Computability, and Complexity
    • Programming Languages [OCaml]
    • Computer Graphics [C++]
  • 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’’

Industry

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