GradNova

J

John Hatcliff

University Distinguished Professor

Computer Science, Kansas State University

Research Interests

Advanced Software Engineering Methodologies

Formal Methods in Verification

Logic, Programming, and Type Systems

Software Reliability and Analysis Research

Software Testing and Debugging Techniques

Academic Metrics

Links

Grants