See How Your Research Aligns
Create a free account to analyze your research alignment,
identify potential research gaps, and generate personalized
application documents for this professor.
Create Free Account
Nada Amin
Programming Languages
Compiler Infrastructure
Scala Language Development
About
I am an assistant professor of computer science at Harvard SEAS. Previously, I was a University Lecturer in Programming Languages at the University of Cambridge; a member of the team behind the Scala programming language at the Ecole Polytechnique Federale de Lausanne (EPFL), where I pursued my PhD; and a software engineer at Google, on the compiler infrastructure supporting Gmail and other Google Apps. I hold bachelor of science and master of engineering degrees from the Massachusetts Institute of Technology (MIT).
Research Performance Summary
2003-2026
Active Research Span
First Recorded Paper
Cytoscape: a software environment for integrated models of biomolecular interaction networks
Year:
2003
Citations:
52079
Venue:
Genome research 13 (11)
Latest Recorded Paper
Practical Aspects of Declarative Languages: 28th International Symposium, PADL 2026, Rennes, France, January 12–13, 2026, Proceedings
Year:
2026
Citations:
0
Venue:
Springer Nature
Last 10 Years Publication Activity
This timeline shows the professor's yearly publication activity.
Publication Venues and Collaboration
Journal, Conference, and Book Publication Breakdown
Research Impact by Period
Papers
8
Citations
8
Avg. Citations / Paper
1
H-Index
2
Papers
24
Citations
405
Avg. Citations / Paper
16.9
H-Index
9
Papers
17
Citations
629
Avg. Citations / Paper
37
H-Index
11
Papers
9
Citations
464
Avg. Citations / Paper
51.6
H-Index
7
Papers
2
Citations
80
Avg. Citations / Paper
40
H-Index
2
Papers
2
Citations
52127
Avg. Citations / Paper
26063.5
H-Index
2
Contact and Professional Links
Detected Research Keywords
Dependent Object Types
Type Soundness Proofs
Soundness Proofs Definitional
Proofs Definitional Interpreters
Computer Aided Design
Semantics Contextual Equivalence
Contextual Equivalence Probabilistic
Equivalence Probabilistic Programs
Probabilistic Programs Nested
Programs Nested Queries