Jason Hickey: Home Page

Jason Hickey
Assistant Professor of Computer Science
Division of Engineering and Applied Science
California Institute of Technology

Home
Info
Students
Teaching
Research
Publications
Student theses
Professional
CV
MetaPRL
OMake
Yapper.org
Random

My research interests are focused on design methods for easily building reliable code. My research includes:

Formal methods
- The MetaPRL logical framework
Distributed systems and algorithms
- The Mojave system
Tools
- The OMake build system
Programming languages and compilers

OCaml textbook. Draft (Jan 10, 2008), do not redistribute. The final textbook is expected to be published by Cambridge University Press fall, 2008. Instructors: contact me for answers to exercises.