Logic in computer science. Lambda calculus and functional programming.
Stanford University, Ph.D.
Yale University, B.A.
Awards and Honors
Professeur Invité, Institut de Mathematiques de Luminy, Université de Marseille (2009)
2007 Most Influential ICFP Paper Award, for "Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus?" (with Julia Lawall), presented at the 1996 ACM International Conference on Functional Programming. (2007)
Associate Editor, Logical Methods in Computer Science (2004)
CNRS Chercheur Invité, Equipe Logique de la Programmation, Institut de Mathématiques de Luminy, Marseille (2004)
Invited Speaker, 5th Annual Workshop on Implicit Computational Complexity, Ottawa, Canada (sponsored by the IEEE Symposium on Logic in Computer Science), June (2003)
Invited Speaker, 8th International Conference on Functional Programming, Uppsala, Sweden (sponsored by the Association for Computing Machinery), August (2003)
Invited Speaker, 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, Indian Institute of Technology, Kanpur (sponsored by the Indian Association for Research in Computing Science), December (2002)
Editorial Board, Higher-Order and Symbolic Computation (2000)
Associate Editor, Information and Computation (1996)
Marver and Sheva Bernstein Faculty Fellowship (1991 - 1992)
|COSI||21b||Structure and Interpretation of Computer Programs|
|COSI||190a||Introduction to Programming Language Theory|
|USEM||77a||Where the Idea of the Computer Came From|