GradNova

L

Lunjin Lu

Professor

Computer Science, Oakland University

Research Interests

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Software Engineering Research

Software Testing and Debugging Techniques

Academic Metrics

Links

Grants