John Hatcliff -- Short Bio Sketch

Dr. John Hatcliff is a University Distinguished Professor at Kansas State University working in the areas of safety-critical systems, software architectures, and software verification and certification. He leads the Laboratory on Static Analysis and Transformation of Software (SAnToS Lab), which has received over $14million in research funding since 2000 from the Department of Defense, National Science Foundation, NASA, NIH, and companies including Lockheed, Rockwell Collins, Intel, and IBM.
Dr. Hatcliff received the National Science Foundation Faculty Early CAREER Award in 1997 for his research on program specialization. SAnToS Researchers were members of the NASA Java Pathfinder Team that in 2003 received NASA's Turning Goals Into Reality (TGIR) Award -- one of fifteen awards given to NASA projects in 2003 that best demonstrated progress toward NASA's mission objectives. In 2010, SAnToS Researchers received two major professional society awards -- ACM SIGSOFT's prestigious Impact Paper Award, and International Conference of Software Engineering (ICSE) Most Influential Paper Award for their original paper on the Bandera software model checking framework. Both of these awards are retrospective awards given by the world's primary professional organization of software engineers and the world's largest software engineering conference to the paper that has had the greatest impact on the theory and practice of software engineering in the ten years since its publication.

Dr. Hatcliff is co-editor-in-chief of the International Journal of Software Tools for Technology Transfer (STTT), and co-chair of the High-Confidence Systems and Software Conference for 2014 and 2015. He co-chairs the Architecture Requirements Working Group of the AAMI / UL 2800 Joint Committee that is developing safety standards for medical device interoperability. He has been an active member of the Medical Device Interoperability Safety Working Group that is currently interacting with the FDA on interoperability safety principles under the IDE program, and he is a member of the NIH/NIBIB interoperability research project led by Dr. Julian Goldman from the Center for Integration of Medicine and Innovative Technology (CIMIT).