Photo of Prof Michael Fisher

Prof Michael Fisher Ph.D. FBCS FIET

Professor of Computer Science Computer Science

Teaching and Learning

Automated Reasoning (resolution, unification, strategies, etc),
Programming Languages (object-based, object-oriented, concurrent),
Logic Programming,
Formal Methods and Program Design,
Agents (theory, programming, etc),
Non-Classical Logics (modal logic, temporal logic, etc)
Verifying Autonomous Systems



Modules for 2018-19

ESSENTIAL SKILLS FOR THE LIFE SCIENCES I

Module code: LIFE109

Role: Teaching

RESEARCH INTERNSHIP

Module code: LIFE701

Role: Teaching