Current Teaching
Research Interests
- Theorem proving, especially in higher order logic
(HOL) and
using the Isabelle theorem proving assistant.
- HOL2P - an extension
of classical higher order logic with universal types and
type operator variables
- E-business and E-commerce applications:
- Formal methods for the analysis and verification of software systems.
- Development of embedded software systems
Miscellaneous
© Copyright University of Essex. All rights reserved.
University of Essex, School of Computer Science
and Electronic Engineering
![[CSEE logo]](./images/csee_logo.jpg){kind=logo}