Prof Clare Dixon

Professor of Computer Science

Full contact details
View graph of relations

Overview

Clare Dixon is a Professor of Computer Science in the Department of Computer Science at the University of Manchester. She leads the Autonomy and Verification research group. Prior to joining Manchester she was a Professor of Computer Science in the Department of Computer Science at the University of Liverpool, working as an academic at Liverpool from 2001-2020. She was  a Senior Research Fellow and Postdoctoral Researcher in the Department of Computing and Mathematics at Manchester Metropolitan University 1995-2000.

External positions

Honorary Professor, University of Liverpool

20202023

Keywords

  • Verification, Automated Reasoning, Logics, Artificiial Intelligence, Reliable Autonomy and Robotics

Related information

Publications

Research output: Contribution to journalArticlepeer-review

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

View all (99)

Prizes

Prize: Prize (including medals and awards)

Prize: Prize (including medals and awards)

View all prizes (3)