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: Kilburn Building, Oxford Road, Manchester M13 9PL, United KingdomSoftware Systems Engineering Division Website(https://www.manchester.ac.uk/computer-science/research/software-engineering)
