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)

Department of Computer Science & Technology, University of Cambridge

Cambridge, Uk, 2017 - 2019

  • University Lecturer in Programming Languages
  • Fellow of Jesus College
  • Research interests include metaprogramming, neuro-symbolic reasoning, verification and applications to machine learning, biology and performing arts
  • Teaching includes metaprogramming, advanced functional programming, semantics of programming languages
  • Recipient with Baris Kasikci of the first Michigan Cambridge Research Initiative Grant (May 2018).

Software Technology Group, TU Darmstadt

Darmstadt, Germany, 2017

  • Research with Prof. Mira Mezini as a Post-Doctoral Researcher

Programming Methods Laboratory, LAMP, EPFL

Lausanne, VD, Switzerland, 2011 - 2017

  • Research in Programming Languages with Prof. Martin Odersky
  • Doctoral Assistant, then Post-Doctoral Researcher
  • 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

Redmond, WA, USA, June 24, 2013 - July 5, 2013

  • 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