I am a Professor of Computer Science at the University of Liverpool, Director of the Liverpool Verification Laboratory, and head of the Logic and Computation research group within the Department of Computer Science.
I am a Fellow of the BCS, Fellow of the IET, and Member of the UK Computing Research Committee.
In the Department, I am a member of both the Management and Research Committees and Chair the Industrial Liaison Committee.
I have been active in research for over 25 years, have produced
many books and
papers,
and am involved in a number of
current research projects. My
research interests concern the use of Logic in Computer Science
and Artificial Intelligence, particularly temporal reasoning,
theorem-proving, programming languages, formal verification, and
agent-based systems. I am keen to apply these techniques in areas
such as autonomous systems, aerospace, pervasive systems, and
robotics.
© copyright: Michael Fisher Design by: styleshout [Webmail]
Conferences:
