Paul Butcher

Paul Butcher is an accomplished professional with extensive experience in software engineering and management within the aerospace and transport sectors. Currently serving as Head of Dynamic Analysis and UK Programme Manager at AdaCore since 2019, Paul has also held significant roles, including Managing Director of Abbot Consultancy Limited, where consultancy services were provided in real-time embedded software design and safety. Prior engineering positions include contributions at companies such as OptaSense, Thales, BAE Systems, Leonardo, and Aerosystems International, with a focus on software development, safety consulting, and system architecture. Paul holds a BSc (Hons) in Computing with a specialization in real-time embedded software development and an HND in Software Engineering from the University of Portsmouth.