[ 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.
- B.S., Vanderbilt University, 1973
- M.S., Massachusetts Institute of Technology, 1974
- Ph.D., University of Utah, 1982
Joined Yale Faculty in 1982.
- I was one of the principle designers of Haskell, a purely functional programming language, and still remain active in the community.
- My research group, the Yale Haskell Group, has its own website.
- I wrote a book on functional programming called, The Haskell School of Expression.
- Together with two of my colleagues, I helped establish the Computing and the Arts program at Yale.
- I was Chair of the Dept. of Computer Science from 1999-2005.
- I am a member of the IFIP Working Group 2.8 on Functional Programming.
- I was Co-Editor in Chief of the Journal of Functional Programming for several years.
- My full Curriculum Vita is long and boring. It contains a full list of my publications, but abstracts and copies can be downloaded from the Yale Haskell Group website.
- Recent course home pages:
- CPSC 431: Fundamentals of Computer Music: Algorithmic and Heuristic Composition.
- CPSC 432: Fundamentals of Computer Music: Sound Representation and Synthesis.
- CPSC 201: Introduction to Programming (Spring ’08).
- CPSC 430: Formal Semantics (Fall ’07).
- CPSC 112: Introduction to Programming (in C#) (Fall ’06).
- CPSC 429: Functional Programming (Fall ’04).
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.
- 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).