2021 Programme

The programme for HIS 2022 will be announced in due course. In the meantime, you can access presentations from last year’s virtual event are available below.

13:30

Exhibition & Networking

14:00

Welcome

14:05

NCSC and High Integrity Systems

Paul Waller

Head of Capability Research, National Cyber Security Centre

Paul Waller will present the work of the National Cyber Security Centre in the domain of high integrity systems.

Innovations in Software Testing

14:45

The Art of Software Testing: Refining the Testing Palette

Dr Mark Hadley

Principal Software Safety Consultant, Atkins

Dr Mike Standish

Senior Scientist, DSTL (Portsdown West)

15:15

Fuzzing for Airworthiness Security

Paul Butcher

Senior Software Engineer, AdaCore

15:45

Virtual Exhibition & Networking

Formal Methods for Trustworthy Systems

16:05

The CyBOK Formal Methods Knowledge Area

Prof Steve Schneider

Director of Surrey Centre for Cyber Security, University of Surrey

16:35

Verified Trustworthy Software Specification

Prof Philippa Gardner

Department of Computing, Imperial College London

17:05