Michael Fisher
Scholar

Michael Fisher

Google Scholar ID: ObjR3wwAAAAJ
Professor of Computer Science, University of Manchester
Autonomous SystemsTrustworthinessFormal MethodsTemporal LogicModel Checking
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
11,730
 
H-index
57
 
i10-index
204
 
Publications
20
 
Co-authors
39
list available
Contact
No contact links provided.
Publications
4 items
Counterexample-Guided Interval Weakening
2026
Cited
0
Automated Formalization of Probabilistic Requirements from Structured Natural Language
2025
Cited
0
Towards Continuous Assurance with Formal Verification and Assurance Cases
2025
Cited
0
Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems
2025
Cited
0
Resume (English only)
Co-authors
39 total
Louise Dennis
Louise Dennis
Department of Computer Science, University of Manchester
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Michael Wooldridge
Michael Wooldridge
University of Oxford
Marie Farrell
Marie Farrell
The University of Manchester
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Boris Konev
Boris Konev
Professor of Computer Science, Liverpool University