Professor Paul Curzon, BA MA PhD (Cantab) PGCert(HE) NTFS FBCS CITP

Professor of Computer Science
Email: p.curzon@qmul.ac.ukTelephone: +44 20 7882 5815Room Number: Peter Landin, CS 304Website: http://www.eecs.qmul.ac.uk/~pc
Teaching
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).
Procedural Programming (Undergraduate)
This is an introductory module in computer programming using Java. You will learn the basic concepts of programming and learn to write and reason about simple programs. 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-term exam. Both will require you to demonstrate that you can write programs and understand theory.
Research
Research Interests:
My research combines the areas of interaction design, automated reasoning and formal verification. I also have a strong interest in the public understanding of science.
Formal Cognitive Modeling 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 am aiming to generate excitement not just about the department's research but about research in the subject more generally. The main way of achieving this is through the internationally renowned webzine cs4fn (www.cs4fn.org) that I created with Peter McOwan. I gave an invited keynote at the ACM ITiCSE (Innovation & Technology in Computer Science Education ) conference on this work. cs4fn was also commended in the 2006 EPSRC International Review of Computer Science.
Publications
-
Waite JL, Maton K, Curzon P et al. (2019). Unplugged Computing and Semantic Waves: Analysing Crazy Characters. The UK and Ireland Computing Education Research Conference
Citations: 0 -
CURZON P, Bell T, Waite JL et al. (2019). Computational Thinking. nameOfConference
DOI: doi
Citations: 0 -
Waite JL, CURZON P, MARSH DW et al. (2018). Comparing K-5 teachers’ reported use of design in teaching programming and planning in teaching writing. WiPSCE 2018 (13th Workshop in Primary and Secondary Computing Education)
Citations: 0 -
Waite JL, CURZON P, MARSH D et al. (2018). Abstraction in action: K-5 teachers' uses of levels of abstraction, particularly the design level, in teaching programming. nameOfConference
Citations: 0 -
CURZON P, Furniss D, Blandford A (2017). Exploring organisational competences in Human Factors and UX project work: Managing careers, project tactics and organisational strategy. nameOfConference
Citations: 0 -
Waite JL, curzon P, marsh D et al. (2017). K-5 Teachers' Uses of Levels of Abstraction Focusing on Design. WiPSCE 2017
DOI: doi
Citations: 0 -
Harrison MD, MASCI P, CAMPOS JC et al. (2017). Verification of User Interface Software: the Example of Use-Related Safety Requirements and Programmable Medical Devices. nameOfConference
Citations: 0 -
CURZON P, Myketiak C, Concannon S (2017). Narrative perspective, person references, and evidentiality in clinical incident reports. nameOfConference
Citations: 0 -
Harrison MD, Masci P, Campos JC et al. (2017). Demonstrating that Medical Devices Satisfy User Related Safety Requirements. nameOfConference
Citations: 1 -
Waite JL, Curzon P, marsh D et al. (2016). Abstraction and Common Classroom Activities. WiPSCE 2016 11th Workshop in Primary and Secondary Computing Education
Citations: 0 -
Harrison M, Campos JC, Ruksenas R et al. (2016). Modelling information resources and their salience in medical device design. Engineering Interactive Computing Systems 2016
Citations: 0 -
Furniss D, Curzon P, Blandford A (publicationYear). Using FRAM beyond safety: A case study to explore how sociotechnical systems can flourish or stall. nameOfConference
Citations: 0 -
Ruksenas R, Masci P, Curzon P (2016). Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach. nameOfConference
QMRO: qmroHref
Citations: 0 -
CURZON P, Lee P, Meagher L (2015). Impact on procurement and training by research on the interaction design of medical devices. nameOfConference
Citations: 0 -
CURZON P, Thimbleby H, Oladimeji P et al. (2015). Issues in number entry user interface styles: Recommendations for mitigation. nameOfConference
Citations: 0 -
CURZON P, Myketiak, Concannon (2015). New/s Design: Informing Future Design Processes by Understanding Media Reporting of Medical Errors with Medical Devices. nameOfConference
Citations: 0 -
CURZON P, Masci P, Oladimeji P et al. (2015). PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems. nameOfConference
Citations: 0 -
CURZON P, Blandford AE, Thimbleby H et al. (2015). Safer Interactive Medical Device Design: Insights from the CHI+MED Project. nameOfConference
Citations: 0 -
Harrison M, Campos JC, Masci P et al. (2015). Templates as heuristics for proving properties of medical devices. nameOfConference
Citations: 0 -
Masci P, Curzon P, Thimbleby H (2015). Early identification of software causes of use-related hazards in medical devices. nameOfConference
QMRO: qmroHref
Citations: 0 -
Cinzia Bernardeschi PM (2015). Towards a Formalization of System Requirements for an Integrated Clinical Environment. nameOfConference
QMRO: qmroHref
Citations: 0 -
Wilson J, Curzon P, Duncker E (2015). Exploring older women’s confidence during route planning. nameOfConference
QMRO: qmroHref
Citations: 0 -
Masci P, Oladimeji P, Zhang Y et al. (2015). PVSio-web 2.0: Joining PVS to HCI. nameOfConference
QMRO: qmroHref
Citations: 0 -
Masci P, Rukš¿nas R, Oladimeji P et al. (2015). The benefits of formalising design guidelines: a case study on the predictability of drug infusion pumps. nameOfConference
QMRO: qmroHref
Citations: 0 -
Masci P, Curzon P, Furniss D et al. (2015). Using PVS to support the analysis of distributed cognition systems. nameOfConference
QMRO: qmroHref
Citations: 0 -
Furniss D, Masci P, Curzon P et al. (2015). Exploring medical device design and use through layers of distributed cognition: How a glucometer is coupled with its context. nameOfConference
Citations: 0 -
Bella G, Curzon P, Lenzini G (2015). Service Security and Privacy as a Socio-Technical Problem: Literature review, analysis methodology and challenge domains. nameOfConference
DOI: 10.3233/JCS-150536
Citations: 0 -
enas RR, Curzon P, Blandford A et al. (2014). Combining Human Error Verification and Timing Analysis: a Case Study on an Infusion Pump. nameOfConference
QMRO: qmroHref
Citations: 0 -
Harrison MD, Masci P, Campos J et al. (2014). Automated theorem proving for the systematic analysis of interactive systems. nameOfConference
QMRO: qmroHref
Citations: 0 -
Oladimeji P, Masci P, Curzon P et al. (2014). PVSio-web: a tool for rapid prototyping device user interfaces in PVS. nameOfConference
QMRO: qmroHref
Citations: 0 -
Masci P, Zhang Y, Jones P et al. (2014). A Generic User Interface Architecture for Analyzing Use Hazards in Infusion Pump Software. nameOfConference
QMRO: qmroHref
Citations: 0 -
Masci P, Zhang Y, Jones P et al. (2014). Combining PVSio with Stateflow. nameOfConference
QMRO: qmroHref
Citations: 0 -
Masci P, Zhang Y, Jones P et al. (2014). Formal Verification of Medical Device User Interfaces Using PVS. nameOfConference
QMRO: qmroHref
Citations: 0 -
Curzon P (2013). cs4fn and computational thinking unplugged. nameOfConference
QMRO: qmroHref
Citations: 0 -
Masci P, Ayoub A, Curzon P et al. (2013). Model-based development of the Generic PCA infusion pump user interface prototype in PVS. nameOfConference
QMRO: qmroHref
Citations: 0 -
Black J, Brodie J, Curzon P et al. (2013). Making Computing Interesting to School Students: Teachers’ Perspectives. ITiCSE '13 Proceedings of the 18th ACM conference on Innovation and technology in computer science education
QMRO: qmroHref
Citations: 0 -
Rukšenas R, Curzon P, Harrison MD (2013). Integrating Formal Predictions of Interactive System Behaviour with User Evaluation. nameOfConference
QMRO: qmroHref
Citations: 0 -
Masci P, Ayoub A, Curzon P et al. (2013). Verification of interactive software for medical devices: PCA infusion pumps and FDA regulation as an example. nameOfConference
QMRO: qmroHref
Citations: 0 -
Black J, Curzon P, Myketiak C et al. (2012). Teachers' perceptions of the value of research-based school lectures. nameOfConference
QMRO: qmroHref
Citations: 0 -
Myketiak C, Curzon P, Black J et al. (2012). cs4fn: A flexible model for computer science outreach. nameOfConference
QMRO: qmroHref
Citations: 10 -
Masci P, Huang H, Curzon P et al. (2012). Using PVS to investigate incidents through the lens of distributed cognition. nameOfConference
QMRO: qmroHref
Citations: 0 -
Masci P, Curzon P, Huang H et al. (2011). Towards a formal framework for reasoning about the resilience of dynamic interactive systems. nameOfConference
QMRO: qmroHref
Citations: 0 -
Black J, Curzon P, Myketiak C et al. (2011). A Study in Engaging Female Students in Computer Science Using Role Models. nameOfConference
QMRO: qmroHref
Citations: 0 -
Bell T, Curzon P, Cutts Q et al. (2011). Introducing Students to Computer Science With Programmes That Don’t Emphasise Programming. nameOfConference
QMRO: qmroHref
Citations: 0 -
Rukšenas R, Curzon P (2011). Abstract models and cognitive mismatch in formal verification. nameOfConference
QMRO: qmroHref
Citations: 1 -
Huang H, Rukšenas R, Ament MGA et al. (2011). Capturing the distinction between task and device errors in a formal model of user behaviour. nameOfConference
QMRO: qmroHref
Citations: 2 -
Masci P, Rukšenas R, Oladimeji P et al. (2011). On formalising interactive number entry on infusion pumps. nameOfConference
QMRO: qmroHref
Citations: 14 -
Furniss D, Blandford A, Curzon P (2010). Confessions from a Grounded Theory PhD: Experiences and Lessons Learnt. nameOfConference
QMRO: qmroHref
Citations: 0 -
Ruksenas R, Back J, Curzon P et al. (2009). Verification-guided modelling of salience and cognitive load. nameOfConference
QMRO: qmroHref
Citations: 0 -
Curzon P, McOwan PW, Cutts Q et al. (2009). Enthusing & inspiring with reusable kinaesthetic activities. nameOfConference
QMRO: qmroHref
Citations: 0 -
Curzon P, Peckham J, Taylor H et al. (2009). Computational Thinking (CT): On Weaving It In. nameOfConference
QMRO: qmroHref
Citations: 0 -
Curzon P, McOwan PW, Cutts QI et al. (2009). Enthusing & Inspiring with Reusable Kinaesthetic Activities. nameOfConference
QMRO: qmroHref
Citations: 0 -
Ruksenas R, Curzon P, Blandford A (2008). Modelling and Analysing Cognitive Causes of Security Breaches. nameOfConference
QMRO: qmroHref
Citations: 0 -
Ruksenas R, Curzon P, Blandford A et al. (2008). Combining Human Error Verification and Timing Analysis. nameOfConference
QMRO: qmroHref
Citations: 1 -
Blandford A, Curzon P, Hyde J et al. (2008). EMU in the car: Evaluating multimodal usability of a satellite navigation system. nameOfConference
QMRO: qmroHref
Citations: 0 -
Curzon P, McOwan PW (2008). Engaging with Computer Science Through Magic Shows. nameOfConference
QMRO: qmroHref
Citations: 0 -
Curzon P, McOwan PW (2008). Engaging with Computer Science through Magic Shows. nameOfConference
QMRO: qmroHref
Citations: 0 -
Ruksenas R, Curzon P, Back J et al. (2008). Formal Modelling of Salience and Cognitive Load. nameOfConference
QMRO: qmroHref
Citations: 0 -
Papatzanis G, Curzon P, Blandford A (2008). Identifying Phenotypes and Genotypes: A Case Study Evaluating an In-Car Navigation System. nameOfConference
QMRO: qmroHref
Citations: 0 -
Ruksenas R, Curzon P, Blandford A (2008). Modelling Rational User Behaviour as Games between an Angel and a Demon. nameOfConference
DOI: 10.1109/SEFM.2008.43
QMRO: qmroHref
Citations: 0 -
Furniss D, Blandford A, Curzon P (2008). Usability Work in Professional Website Design: Insights from Practitioners’ Perspectives. nameOfConference
QMRO: qmroHref
Citations: 0 -
Curzon P, Ruksenas R, Blandford A (2007). An approach to formal verification of human-computer interaction. nameOfConference
QMRO: qmroHref
Citations: 8 -
Curzon P, Ruksenas R, Blandford A (2007). An Approach to Formal Verification of Human-Computer Interaction. nameOfConference
QMRO: qmroHref
Citations: 0 -
Ruksenas R, Curzon P, Blandford A (2007). Detecting Cognitive Causes of Confidentiality Leaks. nameOfConference
QMRO: qmroHref
Citations: 0 -
Back J, Cheng WL, Dann R et al. (2007). Does being motivated to avoid procedural errors influence their systematicity?. nameOfConference
QMRO: qmroHref
Citations: 0 -
Ruksenas R, Curzon P, Back J et al. (2007). Formal modelling of cognitive interpretation. nameOfConference
QMRO: qmroHref
Citations: 3 -
Back J, Blandford A, Curzon P (2007). Recognising Erroneous and Exploratory Interactions. nameOfConference
QMRO: qmroHref
Citations: 0 -
Mizouni R, Tahar S, Curzon P (2006). Hybrid Verification Integrating HOL Theorem Proving with MDG Model Checking. nameOfConference
QMRO: qmroHref
Citations: 0 -
Mizouni R, Tahar S, Curzon P (2006). Hybrid verification integrating HOL theorem proving with MDG model checking. nameOfConference
QMRO: qmroHref
Citations: 1 -
Davis-Perkins V, Butterworth R, Curzon P et al. (2005). A study into the effect of digitisation projects on the management and stability of historic photograph collections. nameOfConference
DOI: 10.1007/11551362
QMRO: qmroHref
Citations: 1 -
CURZON P, Butterworth R, Blandford A (2004). Models of Interactive systems: a case study on a programmable user modelling. nameOfConference
QMRO: qmroHref
Citations: 0 -
Blandford A, Butterworth R, Curzon P (2004). Models of interactive systems: a case study on programmable user modelling. nameOfConference
QMRO: qmroHref
Citations: 6 -
CURZON P, Tahar S, Kort S (2003). Hierarchical Formal Verification Using a Hybrid Tool. nameOfConference
QMRO: qmroHref
Citations: 0 -
Xiong H, Curzon P, Tahar S et al. (2002). Formally Linking MDG and HOL based on a verified MDG system. Proc. of the 3rd International Conference on Integrated Formal Methods
QMRO: qmroHref
Citations: 0 -
Curzon P (1995). Tracking Design Changes with Formal Machine-Checked Proof. nameOfConference
QMRO: qmroHref
Citations: 0 -
Curzon P (1993). Deriving Correctness Properties of Compiled Code. nameOfConference
DOI: 10.1007/BF01383985
QMRO: qmroHref
Citations: 0