HOME /

CV

Work Address


Harvard John A. Paulson School of Engineering and Applied Sciences
4.413 Science and Engineering Complex
150 Western Avenue, Allston, MA 02134
namin@seas.harvard.edu
namin.seas.harvard.edu

Nada Amin

Personal Address


namin@alum.mit.edu

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

Cambridge, MA, USA 2019 - Present
Assistant Professor of Computer Science

Papers | Talks and Meetings | Professional Service | Education |Experience (Academia) |Experience (Industry)

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

Lausanne, VD, Switzerland, 2011 - 2016

  • Doctoral Program in Computer, Communication and Information Sciences
    Thesis: Dependent Object Types
  • 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
    Thesis: Computer-Aided Design for Multilayer Microfluidic Chips
  • 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’’