Instruction Students Research Bio Personal

Biographical Sketch

James "Jim" Hook graduated from from the University of Washington in 1980. He received his Masters degree in 1985 and Ph.D. in 1988 from Cornell University. In 1989 he joined the Oregon Graduate Institute (then known as the Oregon Graduate Center). Hook served as director of the Pacific Software Research Center from 1995 to 1999. In January, 2000, he became head of the Department of Computer Science and Engineering. OGI merged with Oregon Health Sciences University to form Oregon Health & Science University in July 2001. Hook joined the Portland State University Department of Computer Science in September 2004.

Hook's research interests focus on the application of mathematics to software development. The goal of his research is to produce sound techniques for the creation of high-assurance software. Specific areas of expertise include type systems, programming languages and logics, functional programming, and domain-specific languages. Hook has taught a wide range of courses, including topics in theoretical computer science, programming language semantics, logic and software process improvement.

Hook's outside interests include choral music and cycling. In 1997 and 1999 Hook toured Europe with the Portland State University Chamber Choir. He is currently singing with the Portland Symphonic Choir and the Bach Cantata Choir. In 2007 and 2008 he rode Cycle Oregon.

Hook is a member of the Board of Directors of the United Methodist Retirement Center, in Salem, Oregon, which opperates the Willson House Residential Care Facility (residential care is similar to assisted living). He also serves on the board of the Bach Cantata Choir. Hook was General Chair of the 2008 International Conference on Functional Programming. He continues to serve on the ICFP Steering Committee.