呻吟之王

More

Dr David Smallwood

Job: Associate Professor (Computer Science)

Faculty: Computing, Engineering and Media

School/department: School of Computer Science and Informatics

Research group(s): Software Technology Research Laboratory

Address: 呻吟之王, The Gateway, Leicester, LE1 9BH, United Kingdom

T: +44 (0)116 207 8489

E: drs@dmu.ac.uk

W:

 

Close all sections
Open all sections

Personal profile

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

Research group affiliations

Software Technology Research Laboratory 

Key research outputs

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

Qualifications

 

 

PhD in  Computer Science, 2019, 呻吟之王

MSc in Computation, 1989, University of Oxford

BSc (Hons) Combined Studies (Computing with Mathematical Sciences), 1986, CNAA (Leicester Polytechnic)

呻吟之王 taught

BSc (Hons) Computer Science

BSc (Hons) Software Engineering

Honours and awards

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

Membership of professional associations and societies

Member of the British Computer Society (MBCS)