|
|||||||||
Biographical Sketch |
|||||||||
| James Hook was born in Salem, Kentucky, in 1959. He moved to Salem, Oregon, in 1962. He graduated from Sprague High School in Salem, Oregon, in 1976. Hook started his undergraduate studies at Willamette University. In 1978 he transfered to the University of Washington to study Computer Science, where he graduated in 1980. After working for a year at Bell Laboratories in Murray Hill, New Jersey, he entered Cornell University. At Cornell he earned his Masters degree in 1985 and his Ph.D. in 1988. Hook worked at Odyssey Research Associates in Ithaca, New York, from 1986 until 1989. 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 was selected as 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 stepped down as head in May 2004. He 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, photography, cycling, and sailing. In 1997 and 1999 Hook toured Europe with the Portland State University Chamber Choir. He is currently singing with the Portland Symphonic Choir. |
|||||||||