Covers medical device embedded program formal validation, aerospace flight control software reliability testing, cross-domain industrial low-code frameworks and automated software fault detection toolchains.
Customises rigorous software development pipelines for healthcare equipment, aviation and fintech manufacturers, standardises safety-critical software engineering methodologies.
Address: Bush House, 30 Aldwych, London WC2B 4BG, United KingdomSoftware Engineering Research Unit Website(https://www.kcl.ac.uk/informatics/research/software-engineering)
