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.