Covers aerospace flight control software verification, medical device embedded program reliability validation, 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 safety-critical software engineering methodologies.
Address: William Gates Building, 15 JJ Thomson Avenue, Cambridge CB3 0FD, United KingdomInformation and Software Engineering Group Website(https://www.cl.cam.ac.uk/research/softeng/)
