GradNova

B

Bart Massey

Associate Professor

Computer Science, Portland State University

Research Interests

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Parallel Computing and Optimization Techniques

Software Engineering Research

Academic Metrics

Links

Grants