ÐßÐßÊÓƵ

I am the Subject Group Leader for the Computer Science Subject Group within the School of Computer Science and Informatics.

My teaching covers mainly computer programming (imperative, functional, object-oriented), formal specification, data structures, algorithms.

I am interested in run-time verification of systems whose behaviour has been specified using a formal notation. Specifically I am looking at how the abstractions available in functional programming can be used to perform run-time verification on systems specified using Interval Temporal Logic (ITL).

Software Technology Research Laboratory 

Runtime Verification

Interval Temporal Logic

Applications of Functional Programming

Computer Programming (procedural, functional, object-oriented)

Discrete Mathematics

Formal Specification

Software Testing

Data Structures

PhD in  Computer Science, 2019, ÐßÐßÊÓƵ

MSc in Computation, 1989, University of Oxford

BSc (Hons) Combined Studies (Computing with Mathematical Sciences), 1986, CNAA (Leicester Polytechnic)

BSc (Hons) Computer Science

BSc (Hons) Software Engineering

Vice-Chancellor’s Distinguished Teaching Award (2011, 2016)

Member of the British Computer Society (MBCS)