Paul Butcher

Paul Butcher is the UK Programme Manager and Unit Director of Dynamic Analysis for AdaCore, where he’s currently pioneering the next generation of automated verification for high-integrity systems. With over 25 years of experience in the safety-critical and real-time embedded sectors, Paul has been a central figure in the development and verification of some of the UK’s most iconic aerospace and defense platforms.

His career spans the engineering of the Eurofighter Typhoon, SIL-4 automated train-driving software for the London Underground, and the tactical processor for the AW159 Wildcat. Before joining AdaCore to lead their dynamic analysis initiatives, Paul served as a specialist consultant for industry leaders including Leonardo, BAE Systems, and Thales. Today, he’s a leading voice in the integration of modern security paradigms—such as Fuzz Testing and CHERI—into traditional safety-critical workflows.