Craig Innes

Craig Innes is a Chancellor's Fellow in the Department of Computer Science at The University of Edinburgh. His research interests are not explicitly detailed in the provided information. Innes can be contacted via email at Craig.Innes@ed.ac.uk, and his profile page is available at https://www.ed.ac.uk/Craig_Innes.html.

Craig Innes is a researcher at the University of Edinburgh with a focus on robotics, artificial intelligence, and safety-critical systems. His work explores the integration of temporal logic and probabilistic methods to enhance robotic learning and control. Key areas include the development of specification languages for robotic environments, conformance checking of fuzzy logs, and the use of large language models in simulation scenario generation. Innes also investigates risk-driven perception systems and the application of physics-informed models in soft robotic manipulation. His research emphasizes the robustness of learning algorithms under model misspecification and the design of adaptive experiment frameworks for safety-critical applications.