Validates flight control and medical device embedded software, builds cross-domain low-code industrial frameworks, develops automated software fault detection toolchains for aviation and fintech manufacturers.

Software Engineering Research Unit Website(https://www.gla.ac.uk/schools/computing/research/softwareeng)