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: Informatics Forum, 10 Crichton Street, Edinburgh EH8 9AB, United KingdomSoftware Engineering Section Website(https://www.ed.ac.uk/informatics/research/software-engineering)
