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




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)

Search Who's Who


News target area image

DMU is a dynamic university, read about what we have been up to in our latest news section.

Events at DMU

At DMU there is always something to do or see, check out our events for yourself.

Mission and vision target area image
Mission and vision

Read about our mission and vision and how these create a supportive and exciting learning environment.