I am a Professor in software testing and verification at the School of Informatics in Edinburgh University. My research interest is in testing/verification of behaviour in self driving cars and other autonomous systems, and also explainable AI for medical imaging.
Research keywords:
Testing and Verification, Trustworthy AI, Robustness, Explainable AI, Medical Imaging, Autonomous Vehicles, Formal Specifications
Theme:
Vision and Perception
Machine Learning and AI (inc. multi-agent systems)
Email (optional - published on profile page):
University: