HASP
The High-Assurance Systems Programming (HASP) project at Portland State University (a joint project with Galois, Inc.) is just beginning.
HASP has the following three major research goals:
- Designing and implementing a new functional language for systems programming. (headed by: Mark Jones)
- Designing and implementing a high-assurance run-time system. (headed by: Andrew Tolmach)
- Developing tools and techniques for formal reasoning about each of these and about their interconnection. (headed by: James Hook)
HASP Information
Prospective Members
We have openings for PhD students in 2009 and 2010. If you are interested in Haskell, functional programming, programming language theory, and/or systems programming, then consider applying to
Portland State's doctoral program in computer science and working with our group. For more information, contact
James Hook.
You need not wait until you are admitted before contacting us: in particular, we may have funding available for potential students to visit PSU at any time.
Past work