HIS 2022 Programme
Please find below the programme for the High Integrity Software Conference 2022. Note that this may be subject to change.
08:00
Registration & Welcome
09:00
Product Lines and Ecosystems: from customization to configuration
Jan Bosch
Professor of Software Engineering, Chalmers University Technology
Abstract coming soon
Read More »Morning Track A
Morning Track B
09:50
An introduction to PYRAMID
Simon Apperley
Analyst (seconded), UK MOD Defence Science & Technology Laboratory
Challenges of software at scale
Jiani Zhang
Chief Software Officer, Capgemini Engineering
10:20
Coffee & Exhibition
11:00
Talk Title TBA
David Woodward
Head of Software Product Lines and Capability UK, MBDA
Micro-Architectural Challenges in High-Assurance Cryptography
François Dupressoir
Senior Lecturer in Cryptography, University of Bristol
11:30
Talk Title TBA
Speaker to be announced
Taming event-driven software via formal verification
Thomas Gibson-Robinson
Chief Technology Officer, Cocotec
12:00
Lunch & Exhibition
13:30
Have we a Human Ecosystem?
James Davenport
Professor, Department of Computer Science, University of Bath

Abstract coming soon
Read More »Afternoon Track A
Afternoon Track B
14:15
Developing Future High Integrity Processing Solutions
Dave Sanders
Associate Fellow - Complex Electronic Hardware, Rolls-Royce
Rust and the coming age of high integrity languages
Florian Gilcher
Managing Director, Ferrous Systems GmbH
14:45
Digital Security by Design (DSbD)
John Goodacre
Challenge Director - Digital Security by Design, UK Research and Innovation
Floating point calculations: traps and pitfalls
Martin Brain
Lecturer in Computer Science, City University of London
15:15
15:45
Tea & Exhibition
16:15
Panel Session: theme to be announced
17:00