Research Interests

Algebraic Specification

Most of my current research interests stand under this broad banner. More specifically, current research addresses:

• Hidden Algebra: specification of systems with state
   
• Concurrent Systems taking a sheaf-theoretic approach
   
• Computer Virology with Matt Webster
   
• Ontologies
   
• Algebraic Semiotics for designing and evaluating user interfaces
   
• Modelling Biological Systems
   

Data Types

Older research looked at data types and program transformation