Covers formal verification for aerospace & medical devices, parallel supercomputing, clinical big data pipelines, industrial IoT scheduling and privacy-preserving health data computing.
Cooperates with Glasgow NHS hospitals, aerospace and semiconductor firms for knowledge transfer, leads UK national AI and digital health research consortia.
Address: Sir Alwyn Williams Building, Lilybank Gardens, Glasgow G12 8QQ, United KingdomSchool of Computing Science Website(https://www.gla.ac.uk/schools/computing)
