Find out more about The National Physical Laboratory’s pioneering role.

Watch the video


Download the presentation slides (PDF)


The National Physical Laboratory’s pioneering role in modern-day computing is well known; not least because of Alan Turing’s design of the ACE (Automatic Computing Engine) and Donald Davies’ development of packet switching.

NPL has also maintained an interest in theoretical computer science and formal methods over the years. This presentation summarises NPL’s work in this area, including:

  • Exploring the use of formal methods in the standardisation of communications protocols;
  • A survey undertaken in the 1990s on the take up (or lack thereof) of formal methods within industry;
  • Work undertaken with the Department of Computer Science of the University of York as part of the EU-funded Traceability for Computationally Intensive Metrology (TraCIM) project.

NPL continues formal aspects work through joint appointments with universities. The presentation will end with a very brief overview of a project, undertaken with the University of Strathclyde, on physical dimensions and types. This work will be the subject of a presentation from Strathclyde in June.

About the speaker

Keith Lines - National Physical Laboratory

Keith Lines applies experience gained in over 30 years of working with NPL's scientists, administrators and support staff to help ensure that NPL activities in software development continue to meet the requirements of NPL's ISO 9001 and TickITplus certifications.

Formal aspects of computing have been an interest since he was a student at the University of Kent in the mid-1980s. He is a member of the BCS.

Our events are for adults aged 16 years and over.

This event is brought to you by: BCS FACS SG - Formal Aspects of Computing

Webinar: NPL’s Experience with Formal Aspects
Date and time
Tuesday 6 April, 5:15pm - 8:00pm
This event is sold out