GradNova

H

Harley Eades, PhD

Associate Professor

Computer Science, Augusta University

Research Interests

Advanced Algebra and Logic

Formal Methods in Verification

Logic, Programming, and Type Systems

Logic, Reasoning, and Knowledge

Software Engineering Research

Academic Metrics

Links

Grants