School of Electronic Engineering and Computer Science
  1. School of Electronic Engineering and Computer Science
  2. People
  3. Profiles

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

Paul

Professor of Computer Science

Email: p.curzon@qmul.ac.uk
Telephone: +44 20 7882 5815
Room Number: Peter Landin, CS 304
Website: 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
  • Curzon P, Ruksenas R (2017). Modelling the User.. nameOfConference

    DOI: doi


    Citations: 0
  • 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
  • Rukšenas R, Masci P, Curzon P (2016). Developing and verifying user interface requirements for infusion pumps: A Refinement approach. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 1
  • 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, Curzon P, Mallozzi P et al. (2015). Using PVSio-web and SAPERE for rapid prototyping of user interfaces in Integrated Clinical Environments. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Campos JC, Curzon P, Harrison MD et al. (2015). Layers, resources and property templates in the specification and analysis of two interactive systems. nameOfConference

    DOI: doi

    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



    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
  • Huang H, Curzon P, White G et al. (2013). Evaluating the methodological constraints and affordances of investigation manuals and their methodologies. nameOfConference

    DOI: doi

    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
  • Blandford A, Cauchi A, Curzon P et al. (2011). Comparing actual practice and user manuals:A case study based on programmable infusion pumps. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 3
  • Cauchi A, Curzon P, Eslambolchilar P et al. (2011). Towards dependable number entry for medical devices. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 1
  • 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
  • Black J, Myketiak C, Curzon P et al. (2011). Engaging Female Students in Computer Science Using Role Models. nameOfConference

    DOI: doi

    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
  • Blandford A, Buchanan G, Curzon P et al. (2010). Who’s looking? Invisible problems with interactive medical devices. nameOfConference

    DOI: doi

    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, McOwan PW, Black J (2009). The magic of HCI: Enthusing kids in playful ways to help solve the Computer Science recruitment problem. nameOfConference

    DOI: doi

    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
  • Curzon P, Black J, Meagher LR et al. (2009). cs4fn.org: Enthusing students about Computer Science. nameOfConference

    DOI: doi

    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


    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 (2007). Serious Fun in Computer Science. nameOfConference


    QMRO: qmroHref

    Citations: 0
  • Back J, Blandford A, Curzon P (2007). Slip Errors and Cue Salience. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Ruksenas R, Curzon P, Blandford A (2007). Detecting Cognitive Causes of Confidentiality Leaks. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Wilson J, Curzon P, Whitney G (2007). Seniors route-planning: a reality check for the design of navigation systems. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Xiong H, Curzon P, Tahar S et al. (2007). Providing a formal linkage between MDG and HOL. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • 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
  • Papatzanis G, Curzon P, Blandford A (2007). Evaluation of Car Navigation Systems: On-Road Studies or Analytical Tools. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Ruksenas R, Curzon P, Back J et al. (2007). Formal Modelling of Cognitive Interpretation. nameOfConference

    DOI: doi

    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
  • Furniss D, Blandford A, Curzon P (2007). Resilience in Usability Consultancy Practice: The Case for a Positive Resonance Model. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Perkins VD, Butterworth R, Curzon P et al. (2006). Representation of the National Memory: digitising historical photograph collections in the UK. nameOfConference

    DOI: doi

    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
  • Curzon P, McOwan P, Burton E et al. (2006). Engaging with Computer Science through Play and Performance. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Wilson J, Curzon P (2006). Older People’s Experiences Route-planning. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (2006). Backwards Compatible. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Perkins VD, Butterworth R, Fields B et al. (2006). Keeping stuff safe: using guidelines and standards for digital preservation. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Back J, Cheng WL, Dann R et al. (2006). Does being motivated to avoid procedural errors influence their systemacity?. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Jagne J, Smith S, Curzon P et al. (2006). Integrating social and cultural variances into international eCommerce interface design. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Blandford A, Back J, Curzon P et al. (2006). Reasoning about human error by modeling cognition and interaction. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Wilson J, Whitney G (2005). Successful strategies of older people for finding information. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (2005). Perfect usability - The one-button machine?. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (2005). The extreme Challenge of Moore’s Law and what Stormy Petrels have to do with it. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Perkins VD, Butterworth R, Curzon P (2005). "Don't forget the STAGES"! Searching for values in digital surrogates of historical photographs. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • 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


    QMRO: qmroHref

    Citations: 1
  • Jagne J, Smith S, Duncker E et al. (2005). Cross-Cultural Factors of Physical-Shopping and eShopping. Proceedings of HCI International 2005

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (2004). Flexing Paper’s Muscle. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Jagne J, Smith SG, Duncker E et al. (2004). Cross-cultural Interface Design Strategy. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • 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 (2004). When smart thinking is not enough. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • CURZON P, Tahar S, Mizouni R (2004). A Hybrid Tool Integrating HOL Theorem Proving with MDG Model Checking. Proceedings of the 16th IEEE International Conference on Microelectronics, Tunisia

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Blandford A (2004). Formally justifying user-centred design rules: A case study on post-completion errors. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 4
  • CURZON P, Wilson J, Whitney G et al. (2004). Information Seeking Strategies used by older people. HCI and the older population, workshop at HCI2004, Design for Life: The 18th British HCI Group Annual conference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Blandford A, Butterworth R, Curzon P (2004). Models of Interactive systems: a case study on programmable user modelling. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Keith S, Whitney G et al. (2004). Strategies for finding government information by older people. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (2003). Spit-not-so, or what’s in the layout. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (2003). Maori Culture? Who Cares?. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Mizouni R, Tahar S, Curzon P (2003). On the Embedding of MDG specification Languages in HOL. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • CURZON P, Tahar S, Kort S (2003). Hierarchical Formal Verification Using a Hybrid Tool. nameOfConference


    QMRO: qmroHref

    Citations: 0
  • Curzon P, Blandford A (2003). A formal justification of a design rule for avoiding post-completion errors. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (2003). Middlesex University Interaction Design Centre. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Xiong H, Curzon P, Tahar S et al. (2003). Providing a formal linkage between the MDG verification system and HOL proof system. nameOfConference

    DOI: doi

    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, Blandford AE (2002). From a formal user model to design rules. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Blandford A, Butterworth R et al. (2002). Interaction Design Issues for Car Navigation Systems. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Harding J (2002). Spreading the word about pedagogic research. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Thimbleby H, Blandford A, Cairns P et al. (2002). User interface design as systems design. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 1
  • Blandford AE, Butterworth R, Curzon P (2001). PUMA Footprints: linking theory and craftskill in usability evaluation. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Blandford AE (2001). A user model for avoiding design induced errors in soft-key interactive systems. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Tahar S (2001). Automating the Verification of Parameterized Hardware using a Hybrid Tool. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Tahar S (2001). Automating the verification of parameterized hardware using a hybrid tool. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Blandford A (2001). Detecting multiple classes of user errors. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 8
  • CURZON P, Tahar S, Kort S (2001). Hierarchical Formal Verification using an MDGHOL Hybrid Tool. Correct Hardware Design and Verification methods, Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Butterworth R, Blandford A, Curzon P (2001). Lab Overview: Interaction Design Centre, Middlesex University. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Blandford A, Butterworth R, Curzon P (2001). PUMA Footprints: linking theory and craft skill in usability evaluation. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Xiong H, Curzon P, Tahar S et al. (2001). Proving Existential Theorems when Importing Results from MDG to HOL. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Hasan M, Tahar S, Curzon P (2000). Impact of Design Changes on Verification Using MDGs. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Kort S, Pisini VK, Tahar S et al. (2000). Un outil hybride pour la vérification formelle de circuits. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Kort S, Tahar S, Curzon P et al. (2000). HOL-MDG: A Hybrid Tool for Formal Verification. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (2000). Learning Computer Science Through Games and Puzzles. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Blandford A (2000). Reasoning about Order Errors and Interaction. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Blandford A (2000). Reasoning about Order Errors in Interaction. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Blandford A (2000). Using a Verification System to Reason about Post-Completion Errorsteraction. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Xiong H, Curzon P, Tahar S et al. (2000). Embedding and Verification of an MDG-HDL Compiler in HOL. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Pisini VK, Tahar S, Curzon P et al. (2000). Formal Hardware Verification by Integrating HOL and MDG. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Blandford A (2000). Reasoning about Order Errors in Interaction. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Blandford A (2000). Using a Verification System to Reason About Post-Completion Errors. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Tahar S (1999). Comparing HOL and MDG: A Case Study on the Verification of an ATM Switch Fabric. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Harding J (1999). A Summary of the Virtual Reading Group Project. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Pisini VK, Tahar S, Aït-Mohamed O et al. (1999). An Approach to Link HOL and MDG for Hardware Verification. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Xiong H, Curzon P, Blandford A (1999). Combining Verification Systems in a Trusted Way to Reap the Benefits of Both. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Xiong H, Curzon P, Tahar S et al. (1999). Verification of a Translator for MDG’s Library in HOL. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1999). Chocolate Vending Machines in HOL. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Tahar S, Lu J (1999). Comparing HOL, MDG and VIS A Case Study on the Verification of an ATM Switch Fabric. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Harding J (1999). Drip Fed Academic Staff Development Using a Virtual Reading Group. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • H Xiong PC, Tahar S (1999). Importing MDG Verification Results into HOL. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1999). Learning Computer Science through Games and Puzzles. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1998). Progress Setting up a Virtual HE Teaching and Learning Reading Group. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Xiong H, Curzon P (1998). Verification of a Translator for MDG’s Components in HOL. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1998). Read, summarise, debate, write. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Tahar SE, Curzon P, Lu J (1998). Three Approaches to Hardware Verification: HOL, MDG and VIS compared. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Tahar SE, Mohamed OA (1998). Verification of the MDG Components Library Using HOL. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Rix J (1998). Why do Students take Programming Modules?. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Jakubiec L, Coupet-Grimal S, Curzon P (1997). A Comparison of the Coq and HOL Proof Systems for Specifying Hardware. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Wong W, Curzon P (1997). Towards an Efficient Proof Recorder for HOL90. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Blandford A, Jones M et al. (1997). Supporting a Large-class Programming Course with Intranet Tools. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1996). Hardware Verification and ATM Switches. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1996). Hierarchical Formal Verification of a Communication Network. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Wong W (1996). Checking Proofs from Linked Tools. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Tahar S, Curzon P (1996). A Comparison of MDG and HOL for Hardware Verification. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Leslie I (1996). Improving Hardware Designs Whilst Simplifying their Proof. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Leslie I (1995). A Case Study on Design for Provability. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1995). Bridging the Gap Between Theory and Practice. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Leslie I, Gordon M (1995). Conclusions from a Study to Verify a Real Network Component. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1995). Problems Encountered with the Machine-assisted Proof of Hardware. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1995). The Importance of Proof Maintenance and Reengineering. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1995). Tracking Design Changes with Formal Machine-Checked Proof. nameOfConference


    QMRO: qmroHref

    Citations: 0
  • Curzon P (1995). Virtual Theories. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P, Wong W (1994). A Theory of Lists for HOL Based on Higher-Order Functions. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1994). Tracking Design Changes with Formal Verification. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1994). The Formal Verification of an ATM Network. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1994). The Formal Verification of the Fairisle ATM Switching Element. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1994). The Formal Verification of the Fairisle ATM Switching Element: an Overview. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1994). The Formal Verification of the Fairisle Switch: The 4x4 Switching Fabric.. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1994). Experiences formally verifying a network component. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1994). The Verified Compilation of Vista Programs. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1993). A Verified Vista Implementation. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1993). Deriving Correctness Properties of Compiled Code. nameOfConference


    QMRO: qmroHref

    Citations: 0
  • Curzon P (1993). Compiler Correctness and Input/Output. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1993). Deriving Correctness Properties of Compiled Code. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1992). Of What Use is a Verified Compiler Specification?. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1992). A Programming Logic For a Verified Structured Assembly Language. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1992). A Verified Compiler for a Structured Assembly Language. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1991). A Structured Approach to the Verification of Low Level Microcode. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0
  • Curzon P (1990). A Verified Vista Implementation of the Viper Microprocessor. nameOfConference

    DOI: doi

    QMRO: qmroHref

    Citations: 0