Computer Science

[ This page is part of Paul Hudak's home page. ]

I am a Professor of Computer Science at Yale University. The Department of Computer Science has an official website for me, but this one is more thorough. My primary research areas are programming languages (in particular functional programming) and computer music.

Education

  • B.S., Vanderbilt University, 1973
  • M.S., Massachusetts Institute of Technology, 1974
  • Ph.D., University of Utah, 1982

Joined Yale Faculty in 1982.

Professional Activities:

Honors and Awards:

  • Most Influential ICFP Paper Award, 2007, for the paper “Functional Reactive Animation” (written with Conal Elliott), published in ICFP ’97.
  • Elected ACM Fellow, 2004.
  • Co-author of one of fifty papers chosen for inclusion in “Twenty Years of PLDI (1979-1999): A Selection” in 2002. (“ORBIT: An Optimizing Compiler for Scheme,” by Kranz, Kelsey, Rees, Hudak, Philbin, and Adams.)
  • Research on FRP (Functional Reactive Programming) chosen as one of seven “Great Talks” by WG2.8 for nomination to IFIP TC-2 in 2002.
  • Charter Member, IFIP WG2.8, Working Group on Functional Programming (1988-present).
  • NSF Presidential Young Investigator Award, 1985.
  • IBM Faculty Development Award, 1984.
  • University of Utah Research Fellow, 1981-82.
  • Member of Eta Kappa Nu and Sigma Xi.

Leadership roles:

  • General Chair, 2010 ACM International Conference on Functional Programming (ICFP).
  • Chair, Quantitative Reasoning Council, Yale University (2006-2009).
  • Co-Editor-in-Chief, Journal of Functional Programming (2004-2008).
  • Co-Chair, Program Committee of 2008 International Symposium on Practical Aspects of Declarative Languages (PADL).
  • Chair, Department of Computer Science, Yale University, 1999-2005.
  • Editor, Journal of Functional Programming (1989-2003).
  • Charter Member, Editorial Board, Journal of Higher-Order and Symbolic Computation (1988-present).
  • Associate Editor, ACM Transactions on Programming Languages and Systems (1989-1992).
  • Charter Member, Editorial Board, International Journal of Parallel Programming (1987-1992).
  • Co-Chair, Program Committee of 1998 ACM International Conference on Functional Programming (ICFP).
  • Chair, Program Committee of 1995 Haskell Workshop.
  • Chair, 1993 ACM Workshop on State in Programming Languages (SIPL).
  • Co-Chair, Program Committee for the 1991 ACM Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM).
  • Chair, Program Committee for the 1990 ACM Symposium on Principles of Programming Languages (POPL).

Comments are closed.