James Hook
Professor
- Research Areas
- Abstraction Carrying Code, Computer Science for Oregon, High-Assurance Systems Programming (HASP), Programatica, Relativistic Programming (RP)
Portland State University
People
Faculty
-
-
Mark P. Jones
Professor
- Research Areas
- Functional Programming, Language Implementation, Low-level Systems Programming, Programming Languages
-
Jingke Li
Associate Professor
- Research Areas
- Compilers, Parallel Computation, Programming Languages
-
Yao Li
Assistant Professor
- Research Areas
- Formal Verification, Functional Programming, Interactive Theorem Proving, LLMs for Verification
-
Bart Massey
Associate Professor
- Research Areas
- Functional Programming, Open Source Software Development, Programming Languages, Software Engineering
-
Andrew Tolmach
Professor
- Research Areas
- Compilers, Formal Verification, Functional Programming, Interactive Theorem Proving, Runtime Verification, Security
-
Fei Xie
Professor
- Research Areas
- Embedded Systems, Formal Methods, Software Engineering
Current Students
-
Allison Naaktgeboren
Ph.D. Candidate
Advisor: Andrew Tolmach
- Research Areas
- Security
-
KC
Katie Casamento
Ph.D. Student
Advisor: Andrew Tolmach
- Research Areas
- Functional Programming, Type Systems
-
Nicholas Coltharp
Ph.D. Student
Advisor: Yao Li
- Research Areas
- Formal Verification, Functional Programming
-
Ian Kariniemi
Ph.D. Student
Advisor: Yao Li
- Research Areas
- Formal Verification
-
YL
Yiming Lin
Ph.D. Student
Advisor: Yao Li
- Research Areas
- Formal Verification
-
KP
Katherine Philip
Ph.D. Student
Advisor: Mark P. Jones
- Research Areas
- Functional Programming, Type Systems
-
GV
Grant VanDomelen
Ph.D. Student
Advisor: Yao Li
- Research Areas
- Formal Verification, Functional Programming
-
Julay Leatherman-Brooks
Master's Student
Advisor: Andrew Tolmach
- Research Areas
- Formal Verification, Security
Affiliated Faculty
-
Andrew Black
Professor Emeritus
Portland State University
-
Steven Libby
Assistant Professor
University of Portland
-
Marly Roncken
Research Professor
Director of Asynchronous Research Center
Portland State University
Alumni
-
Laura Israel
website- Advisor
- Yao Li
- Graduated
- Degree
- MSc
- Current Position
- Ph.D. Student at University of Konstanz
- Research Areas
- Formal Verification, Privacy
-
Sean Noble Anderson
Thesis: Tag-based Security in C: Writing and Specifying Flexible Protection
- Advisor
- Andrew Tolmach
- Graduated
- Degree
- Ph.D.
- Research Areas
- Formal Verification, Runtime Verification, Security