Job: Principal Lecturer
Faculty: Technology
School/department: School of Computer Science and Informatics
Research group(s): Software Technology Research Laboratory
Address: De Montfort University, The Gateway, Leicester, LE1 9BH, United Kingdom
T: +44 (0)116 207 8489
E: drs@dmu.ac.uk
W: www.dmu.ac.uk/strl/
I am the Course Leader for the BSc (Hons) Computer Science and BSc (Hons) Software Engineering degrees. My teaching covers mainly computer programming (imperative, functional, object-oriented), formal specification and software testing. 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).
Runtime Verification
Interval Temporal Logic
Applications of Functional Programming
Computer Programming (procedural, functional, object-oriented)
Discrete Mathematics
Formal Specification
Software Testing
Data Structures
BSc (Hons) Computer Science
BSc (Hons) Software Engineering
Vice-Chancellor’s Distinguished Teaching Award (2011)
Member of the British Computer Society (MBCS)
DMU is a dynamic university, read about what we have been up to in our latest news section.
At DMU there is always something to do or see, check out our events for yourself.
Read about our mission and vision and how these create a supportive and exciting learning environment.