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: Huxley Building, South Kensington Campus, Exhibition Road, London SW7 2AZ, United KingdomImperial College Business School Website(https://www.imperial.ac.uk/computing/research/software-systems)
