I am a Professor of Computer Science within the Department of Computer Science at the University of Liverpool, Director of the Liverpool Verification Laboratory, and head of the Logic and Computation research group.
I am a Fellow of both the BCS and the IET, and a Member of the UK Computing Research Committee.
My research interests concern the use of Logic in Computer Science and Artificial Intelligence, particularly temporal reasoning, theorem-proving, programming languages, formal verification, and autonomous and agent-based systems. I have been active in research for over 20 years, have produced many books and papers, and am involved in a number of current research projects.
Research Collaboration?
If you are intertested in research collaboration, please feel free to contact me.
PhD Possibilities?
If you are seriously interested in PhD study, from the sample list here or related to my projects or publications, then first read the application procedure and guidance. Also, please explore potential funding possibilities yourself - although the Department offers some PhD studentships these are very competitive and often restricted to EU or even UK applicants. Finally, a PhD requires abilities such as mathematical, programming, and communication skills, analytical thinking, creativity, and self-motivation - be sure you have all these before applying.
Industry: Technology Transfer and Exploitation?
We are actively collaborating with industry; see the Liverpool Verification Lab
© copyright: Michael Fisher Design by: styleshout [Webmail]