Covers aerospace flight control software formal validation, medical device embedded program reliability verification, cross-domain industrial low-code frameworks and automated software fault detection toolchains.
Customises rigorous software development pipelines for aviation, medical equipment and fintech global manufacturers, standardises international safety-critical software engineering methodologies.
Address: Merchant Venturers Building, Woodland Road, Bristol BS8 1UB, United KingdomSoftware Engineering Division Website(https://www.bristol.ac.uk/computer-science/research/software-engineering)
