Covers aerospace flight control software formal validation, medical device embedded program reliability testing, cross-domain industrial low-code frameworks and automated fault detection toolchains.
Customises rigorous software development pipelines for aviation, medical equipment and fintech manufacturers, standardises safety-critical software engineering methodologies.
Address: Malet Place Engineering Building, Gower Street, London WC1E 6BT, United KingdomSoftware Systems Engineering Research Group Website(https://www.ucl.ac.uk/computer-science/research/software-systems)
