GradNova

Y

Yao Li

Assistant Professor

Computer Science, Portland State University

Research Interests

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

Academic Metrics

Links

Grants