Teaching
Procedural Programming (Undergraduate)
This is an introductory module in computer programming focussing on procedural programming using Java. You will learn the basic concepts of procedural programming and learn to write and reason about simple programs. A focus is on writing good defensive code that is easy for others to understand. The main topics covered are: storing and manipulating data, control structures, methods and recursion, and algorithms for searching and sorting data. Classes include weekly lectures and lab sessions. You will be assessed by coursework throughout the term and by an end-of-semester exam. Both will require you to demonstrate that you can write programs and understand theory.
Interactive System Design (Postgraduate/Undergraduate)
The main areas of study are (i) interaction and design (ii) modelling of interaction (iii) the design process (iv) design principles and (v) usability evaluation. Various types of interfaces will be considered including those encountered on the web and mobile computing devices. A historical perspective is encouraged in order to provide a means of understanding current and projected developments in the discipline and profession of interactive computer system design. The module will include seminars and group laboratory classes in which analysis, design and evaluation methods will be used in practical contexts. Students will be expected to participate fully in the seminars by presenting and discussing their own designs and evaluations. Students will be required to construct prototype interfaces using techniques of their own choice (e.g. Java, Director).
Research
Research Interests:
My research combines the areas of Computer Science Education, and interaction design for healthcare. In the past I worked primarily in the areas of automated reasoning and formal verification. I also have a strong interest in the public understanding of science.
Formal Cognitive Modelling and Human Error
My main focus at the moment is on human error, extending my work on the verification of hardware/software systems to human-computer systems. The idea is to consider the human operators of such interactive systems as part of the system under verification, so bringing systematic human error, not just software and hardware error, within the scope of the approach. I am, in particular, exploring the use of formal models of human behaviour based on results from cognitive psychology in the design of interactive systems. This work is in collaboration with UCL Interaction Center. Questions we are exploring include: 'How can formal models of human behaviour form the basis of verification methods that can detect design flaws that lead to systematic human error?'; 'How can empirical investigations inform the development of formal models of human behaviour used for verification, and vice versa?' and 'How can formally-based usability evaluation methods best support the analyst?'
Verification of Verification Systems
My work on the design and verification of hybrid verification systems is in collaboration with Concordia University. We developed a verification system that combined the power of the MDG and HOL tools. It harnesses the abstraction techniques of the automated MDG multiway decision diagram (which is superior to boolean decision diagrams) system combined with theorem proving power of HOL to manage the process. In related work we developed a novel methodology that justifies importing results into a theorem prover using verified linkage theorems. It is based on a combination of compiler verification techniques.
Social Aspects of Interaction Design
I am also working on several projects investigating social aspects of interaction design, for example related to navigation and design for all. Questions of interest include: 'How can systems be designed so as to build on our cognitive strengths, especially as we age?'. Navigation systems designed to exploit and extend our cognitive maps rather than replace them are being used as an exemplar of this.
Public Engagement in Science
A major aspect of my work is in the public engagement in computer science (and science, maths and engineering more generally). I aim to generate excitement not just about the School's research but about interdisciplinary research in the subject more generally. The main way of achieving this is through the internationally renowned public engagement project cs4fn (cs4fn.blog) that I created with Peter McOwan, and its sister project for teachers Teaching London Computing (teachinglondoncomputing.org)
Public Engagement
A major aspect of my work is in the public engagement in computer science (and science, maths and engineering more generally). I aim to generate excitement not just about the School's research but about interdisciplinary research in the subject more generally. The main way of achieving this is through the internationally renowned public engagement project cs4fn (cs4fn.blog) that I created with Peter McOwan, and its sister project for teachers Teaching London Computing (teachinglondoncomputing.org)
In 2020 I won the International IEEE Computer Society Taylor L. Booth Education Award: “For outstanding contributions to the rebirth of computer science as a school subject.”
I gave an invited keynote at the ACM ITiCSE (Innovation & Technology in Computer Science Education ) conference on this work. cs4fn was commended in the 2006 EPSRC International Review of Computer Science.
