James Hook
Professor
- Research Areas
- Abstraction Carrying Code, Computer Science for Oregon, High-Assurance Systems Programming (HASP), Programatica, Relativistic Programming (RP)
Programming Languages & Verification Research Group at Portland State University
Portland State University
Professor
Professor
Associate Professor
Assistant Professor
Associate Professor
Professor
Professor
Ph.D. Candidate
Advisor: Andrew Tolmach
Ph.D. Student
Advisor: Andrew Tolmach
Ph.D. Student
Advisor: Yao Li
Ph.D. Student
Advisor: Yao Li
Ph.D. Student
Advisor: Yao Li
Ph.D. Student
Advisor: Mark P. Jones
Ph.D. Student
Advisor: Yao Li
Master's Student
Advisor: Andrew Tolmach
Professor Emeritus
Portland State University
Assistant Professor
University of Portland
Research Professor
Director of Asynchronous Research Center
Portland State University
Thesis: Tag-based Security in C: Writing and Specifying Flexible Protection