Computing and Information Sciences

College of Engineering

John Hatcliff

John Hatcliff
University Distinguished Professor

Office: N324D (map)
Phone: (785) 532-6350
Fax: (785) 532-7353
Email: hatcliff@cis.ksu.edu
Webpage: http://people.cis.ksu.edu/~hatcliff

Education

Ph.D. 1994, Kansas State University

Courses Taught

CIS 890 - High Assurance Software CIS 301 - Logical Foundations of Programming

Research Interests

Formal methods in software engineering, software veri cation, medical device integration, model-checking, static analyses of programs,
partial evaluation and program transformations, concurrent and distributed systems, middleware,
model-integrated computing, semantics of programming languages, compiler construction,
logics and type theory.

Selected Publications

  • Georg Jung and John Hatcliff. "A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures." Science of Computer Programming, 75 (1) July 2010, pp. 615-637 (DOI)
  • Amtoft, Torben, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff, and Venkatesh Prasad Ranganath. "A New Foundation For Control-Dependence and Slicing for Modern Program Structures." ACM Transactions of Programming Languages and Systems. Volume 29, Issue 5, August 2007. (.pdf) (Amtoft-al:TOPLAS07)

Research Grants/Projects

The following grant information is for informational purposes only and should not be considred authoritative. Despite our best efforts, records may be incomplete, incorrect, or missing. For official records, please visit the Office of Research and Sponsored Programs. For changes or corrections to this list, please email the webmaster.

Project Title Principal Investigator Sponsor Start End Total
Development of a Prototype Healthcare Intranet for Improved Health Outcomes John Hatcliff National Institutes of Health Sep 2010 Aug 2011 $375,000
An Integrated Development and Certification Environment for a Medical Device Coordination Framework John Hatcliff National Science Foundation, Food and Drug Administration Jan 2010 Dec 2011 $80,000
CPS: Medium: Collaborative Research: Infrastructure and Technology Innovations for Medical Device Coordination John Hatcliff National Science Foundation Sep 2009 Aug 2012 $839,548
Infrastructure and Technology Innovations for Medical Device Coordination (Collaborative Grant with the University of Pennsylvania) John Hatcliff National Science Foundation Sep 2009 Aug 2012 $839,548
Evidence-based Trust in Large-Scale MLS Systems John Hatcliff US Air Force Office of Scientific Research May 2009 Aug 2014 $3,000,000
Evidence-based Trust in Large-Scale MLS Systems John Hatcliff US Air Force Office of Scientific Research May 2009 Aug 2014 $3,000,000
Automatic Analysis Techniques for Discovering Information Flow Properties of Cryptographic Controllers John Hatcliff Rockwell Collins Oct 2008 Aug 2009 $110,000
Automatic Analysis Techniques for Discovering Information Flow Properties of Cryptographic Controllers John Hatcliff Rockwell Collins Oct 2008 Aug 2009 $110,000
A Domain-Specific Language for Defining High-Assurance Secure-Network Guards John Hatcliff Rockwell Collins Sep 2008 Aug 2009 $170,000
A Domain-Specific Language for Defining High-Assurance Secure-Network Guards John Hatcliff Rockwell Collins Sep 2008 Aug 2009 $85,000
Development of an Open Test Bed for Application of Formal Methods to Plug-and-Play Medical Device John Hatcliff National Science Foundation Sep 2007 Aug 2008 $55,000
Development of an Open Test Bed for Application of Formal Methods to Plug-and-Play Medical Device John Hatcliff National Science Foundation Sep 2007 Aug 2008 $55,000
Integrated Specification and Verification Environment for Component-Based Architectures of Large-Scale Distributed Systems John Hatcliff US Department of Defense Mar 2006 Nov 2008 $450,000
Collaborative Research: Program Analysis Techniques to Support Dependable RTSJ Applications John Hatcliff National Science Foundation, Information Technology Research Sep 2004 Aug 2007 $112,479
High-assurance Infrastructure for Component-based Embedded Systems John Hatcliff, Gurdip Singh Lockheed Martin Corporation Jul 2004 Dec 2004 $185,001
BOGOR: A Model Checking Framework for Dynamic Software John Hatcliff National Science Foundation Jun 2003 May 2005 $179,999
High-Assurance Infrastructure for Component-Based Embedded Systems John Hatcliff, Gurdip Singh Lockheed-Martin/PCES May 2003 Dec 2003 $181,314
Software Model Checking for Embedded Systems John Hatcliff US Army Research Office May 2001 Jan 2005 $3,009,659
Software Model Checking for Embedded Systems John Hatcliff US Army Research Office May 2001 Jan 2004 $3,009,659
Automatic Derivation, Integration, & Verification of Synchronization Aspect in Object-Oriented Design Meth. John Hatcliff, Masaaki Mizuno, Mitch Neilsen, Gurdip Singh Defense Advanced Research Projects Agency Jun 2000 Dec 2004 $2,258,308
Automatic Derivation, Integration, & Verification of Synchronization Aspect in Object-Oriented Design Meth. John Hatcliff, Masaaki Mizuno, Mitch Neilsen, Gurdip Singh Defense Advanced Research Projects Agency Jun 2000 Jun 2004 $2,258,308