Matt Luckcuck

Matt Luckcuck is a Lecturer in Computer Science at the College of Science and Engineering. His research focuses on formal verification of autonomous systems, safety-critical software, and robotics. He has contributed to standards development for autonomous systems through the IEEE P7009 initiative.

Key research interests include formal methods for robotics, verification of multi-agent systems, and safety protocols for hazardous environments. His work bridges theoretical formal models with practical applications in autonomous robotics and modular system design.

Recent publications emphasize compositional verification techniques, heterogeneous system validation, and scalable planner architectures for multi-agent competitions. His research has been applied to inspection robots, aircraft engine controllers, and space rover systems.

Luckcuck collaborates extensively with industry and academic partners on safety-critical Java specifications and autonomous system standards. He has published over 15 peer-reviewed articles and contributed to multiple international conferences on formal methods and robotics.