²ÝÁñÊÓƵ

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)