Expertise

Keywords: Safety-critical systems; software engineering; tools for software verification; integrated medical systems; formal architectural

Hatcliff's research targets technologies and tools for building and verifying safety and security-critical systems. His approach emphasizes mathematical and logic-based techniques for specifying system requirements and behaviors, and for automating reasoning about the correctness, safety and security of systems.

Research keywords:

  • Software engineering, software verification, safety-critical systems, security, cyber-physical systems, embedded systems, medical devices, unmanned vehicles

My general interests include:

  • software model checking, software architectures, foundations of model-driven for component middleware frameworks, static and dynamic analysis of programs, program slicing, partial evaluation and program specialization, and program logics.
Communities
Management Information Systems, Information Science/Systems, Computer Science
Degrees
PhD, Kansas State University, Computer Science, 1994
MSc, Queen's University, Computer Science, 1991
BA, Mount Vernon Nazarene University, Computer Science and Mathematics, 1988