David Smallwood

David Smallwood is an Associate Professor in Computer Science at De Montfort University, affiliated with the School of Computer Science and Informatics within the Faculty of Computing, Engineering and Media. He serves as the Subject Group Leader for Computer Science and is a member of the Software Technology Research Laboratory.

Education:

• PhD in Computer Science, De Montfort University, 2019
• MSc in Computation, University of Oxford, 1989
• BSc (Hons) Combined Studies (Computing with Mathematical Sciences), CNAA (Leicester Polytechnic), 1986

His primary research interests lie in runtime verification, Interval Temporal Logic (ITL), and the applications of functional programming to formal system analysis. He explores how functional abstractions can be leveraged to monitor and verify system behavior specified using ITL, contributing to robust and correct software systems. His work bridges theoretical formal methods with practical implementation.

David Smallwood has been recognized for excellence in teaching, receiving the Vice-Chancellor’s Distinguished Teaching Award in both 2011 and 2016. His teaching encompasses computer programming across imperative, functional, and object-oriented paradigms, as well as discrete mathematics, formal specification, software testing, and data structures.

Scientific Awards:

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

He is actively involved in academic leadership as Subject Group Leader and contributes to the research community through his work in formal methods. He is a Member of the British Computer Society (MBCS).

The laboratory environment is supported by the Software Technology Research Laboratory, where his research on compositional runtime analysis with ITL is conducted, exemplified by the ITL Monitor project.