EPSRC logo
Researcher Details
 
Name: Professor M Fisher
Organisation: University of Liverpool
Department: Computer Science
Current EPSRC-Supported Research Topics:
Artificial Intelligence Control Engineering
Fundamentals of Computing Human-Computer Interactions
Mobile Computing Robotics & Autonomy
Software Engineering

Current EPSRC Support
EP/N007565/1 Science of Sensor System Software(C)
EP/M027309/1 Network on the Verification and Validation of Autonomous Systems(P)
EP/L024845/1 Verifiable Autonomy(P)
Previous EPSRC Support
EP/K006193/1 Trustworthy Robotic Assistants(P)
EP/J011770/1 Reconfigurable Autonomy(P)
EP/G056927/1 Formal Foundations of Autonomic Computing(P)
EP/F037201/1 Engineering Autonomous Space Software(P)
EP/F033567/1 Verifying Interoperability Requirements in Pervasive Systems(P)
EP/D080282/1 Tenth European Conference on Logics in Artificial Intelligence(C)
EP/D052548/1 Model Checking Agent Programming Languages(P)
GR/S62727/01 Virtual Organisations for e-Science(C)
GR/R96514/01 9th International Symposium on Temporal Representation and Reasoning (TIME-2002)(C)
GR/R45376/01 Analysis and Mechanisation of Decidable First-Order Temporal Logics(P)
GR/L87491/02 DEVELOPING CLAUSAL RESOLUTION FOR THE TEMPORAL MU-CALCULUS(P)
GR/M46631/02 MECHANISING FIRST - ORDER TEMPORAL LOGIC(P)
GR/M88761/01 PROOF METHODS FOR MULTI-AGENT SYSTEMS(C)
GR/N08117/01 VISITING FELLOWSHIP FOR PROFESSOR REGIMANTAS PLIUSKEVICIUS(P)
GR/M46631/01 MECHANISING FIRST - ORDER TEMPORAL LOGIC(P)
GR/M33723/01 WORKSHOP OF UK SPECIAL INTEREST GROUP ON MULTI-AGENT SYSTEMS(P)
GR/L87491/01 DEVELOPING CLAUSAL RESOLUTION FOR THE TEMPORAL MU-CALCULUS(P)
GR/L75092/01 DEVELOPING A LOGIC-BASED FRAMEWORK FOR IMPLEMENTING MULTI-AGENT SYSTEMS(C)
GR/K57282/01 PROOF METHODS FOR TEMPORAL LOGICS OF KNOWLEDGE AND BELIEF(P)
GR/J48979/01 PARALLEL TEMPORAL THEOREM PROVING(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator