John Hatcliff

John Hatcliff is a University Distinguished Professor in the Department of Computer Science at Kansas State University's College of Engineering. His research focuses on building and verifying safety and security-critical systems using mathematical and logic-based techniques.

• Education: Ph.D. in Computer Science (K-State, 1994), M.Sc. in Computer Science (Queen's University, 1991), B.S. in Computer Science/Mathematics (Mount Vernon Nazarene College, 1988)

Research areas include software model checking, medical application platforms (MAPs), and model-driven development of high-assurance systems. His work has been funded by DARPA, NASA, NIH, and major defense/aerospace companies.

Key contributions: Pioneered software model checking, developed medical application platforms for customized clinical care, and co-edited the International Journal of Software Tools for Technology Transfer. Collaborated with NASA Java Pathfinder Team and industrial partners like Collins Aerospace.

Scientific Awards

• NSF Early CAREER Award
• NASA's Turning Goals Into Reality Award (2003)
• ACM SIGSOFT Impact Paper Award (2010)
• ICSE Most Influential Paper Award (2010)

Received over $15 million in funding from agencies like DoD, NSF, DARPA, and industry partners including IBM, Rockwell Collins, and Lockheed Martin.