Qualifications

MRes Engineering

January 2017 - Current

• Dissertation on; “Utilising Theorem provers to automatically analyse System/Software requirement domains”. Investigating how Formal Methods Tools can provide value to DO-178C DAL A programs through improved requirements quality.

• Utilising: Java, Eclipse, B, Event-B, Mathworks products.

BEng (Hons) Electrical and Electronic Engineering

September 2012 - July 2014

Dissertation on; “Model Based Design using MATLAB Simulink in Avionics System Development”. Analysis of software tools to satisfy DO-178C Objectives, “Software Considerations in Airborne Systems and Equipment Certification” - Level A platforms.

Fdsc Aerospace Computer Systems