Mr David Smallwood

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: http://www.dmu.ac.uk

Close all sections

Open all sections

Personal profile

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).

Research interests/expertise

Runtime Verification

Interval Temporal Logic

Applications of Functional Programming

Areas of teaching

Computer Programming (procedural, functional, object-oriented)

Discrete Mathematics

Formal Specification

Software Testing

Data Structures

Courses taught

BSc (Hons) Computer Science

BSc (Hons) Software Engineering

Honours and awards

Vice-Chancellor’s Distinguished Teaching Award (2011)

Membership of professional associations and societies

Member of the British Computer Society (MBCS)