معرفی
Michael Fisher is the Royal Academy of Engineering Chair in Emerging Technologies and Professor of Computer Science at the University of Manchester. He also holds an Honorary Professorship at the University of Liverpool (2020–2023). His research focuses on autonomous systems, formal verification, robotics ethics, and AI safety. Fisher leads projects such as the Centre for Robotic Autonomy in Demanding Environments (CRADLE) and contributes to IEEE standards for fail-safe autonomous systems. He is a Senior Associate Editor of the Annals of Mathematics and Artificial Intelligence and co-chair of the IEEE Verification of Autonomous Systems committee.
His work integrates formal methods with robotics, emphasizing ethical reasoning and assurance in autonomous systems. Key research interests include temporal logic, model checking, and the verification of robotic decision-making. Fisher has received Best Paper Awards in 2018 and 2014, recognizing contributions to human-robot team validation and ethical reasoning frameworks.
Fisher’s projects span space robotics, industrial automation, and safety-critical systems. He collaborates with industry partners like Amentum and advises the UK government on AI and robotics policy. His recent work explores neuro-symbolic AI integration and compositional verification for modular robotic systems.
