Covers aerospace flight control software formal 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 international safety-critical software engineering methodologies.
Address: Wolfson Building, Parks Road, Oxford OX1 3QD, United KingdomSoftware Engineering Research Unit Website(https://www.cs.ox.ac.uk/research/softeng/)
