Michael Fisher
Professor of Computer Science
Personal Statement
I am Director of the multi-disciplinary Centre for Autonomous Systems Technology at the University of Liverpool and Head of the Logic and Computation research group within Computer Science
Research
My research centres on the interaction between Logic, Computer Science, and Artificial Intelligence, particularly my work on temporal logics, formal verification, and autonomous systems, where recent contributions include formal verification for the certification of autonomous unmanned aircraft systems, the development of an automated verification system for agent programs, logical methods for temporal resource-bounded reasoning, hybrid agent architectures for autonomous satellite control, and the formal verification of swarm robotic behaviours. [For more details, look at my books and papers,
Professional
I am on the editorial boards of both the Journal of Applied Logic and Annals of Mathematics and Artificial Intelligence, am a corner editor for the Journal of Logic and Computation, edited the Handbook of Temporal Reasoning in Artificial Intelligence, and authored An Introduction to Practical Formal Methods using Temporal Logic.
I am also a Fellow of the BCS, a Fellow of the IET, and a member of the UK Computing Research Committee.
Projects
I am currently principal investigatoron several EPSRC research projects:
- Engineering Autonomous Space Software [EP/F037201] (with Univ. Southampton);
- Verifying Interoperability Requirements in Pervasive Systems [EP/F033567] (with Univ. Birmingham and Univ. Glasgow);
- Reconfigurable Autonomy [EP/J011770] (with Univ. Southampton and Univ. Surrey).