Craig Innes

Craig Innes is a Research Fellow at the University of Edinburgh, affiliated with the Institute for Perception, Action and Behaviour (IPAB). His research bridges symbolic logic and formal verification with black-box probabilistic models in cyber-physical systems, focusing on trustworthiness, risk assessment, and safety guarantees for autonomous vehicles and robotics.

His work explores temporal logic specifications, adaptive experiment design, and probabilistic calibration to improve safety validation. Key trends in his publications include formal verification for machine learning systems, physics-informed simulation for soft robotics, and risk-driven perception system design. He also investigates unawareness in decision-making and scenario generation via large language models.

Craig supervises PhD students in areas like hybrid AI for cyber-physical systems and autonomous robotics, with funding opportunities through EPSRC Doctoral Training Partnerships and Centre for Doctoral Training programs in Dependable Robotics and Machine Learning Systems. He emphasizes research proposal development and collaboration with industry in his supervision approach.