Generate a tailored SOP for Dr. Clare Dixon. Improve your application with a focused, well-structured draft.
Clare Dixon is a Professor in the Department of Computer Science at the University of Manchester, leading the Autonomy Verification research group. Her research focuses on verification in robotics and autonomous systems, particularly the development and application of tools and techniques that ensure systems satisfy their requirements. She has extensive experience collaborating with robot designers and engineers in applying formal verification systems using various logics, tools, model checkers, and theorem provers. Prior to her current position, she served as a Professor in the Department of Computer Science at the University of Liverpool from 2001 to 2020. Additionally, she was a Senior Research Fellow and Postdoctoral Researcher in the Department of Computing and Mathematics at Manchester Metropolitan University from 1995 to 2000. Clare’s work aligns with the UN Sustainable Development Goals, particularly in addressing challenges related to technology and sustainable development. Her expertise in electronics and computer science enables her to contribute significantly to advancements in reliable autonomy in robotics.
University of Manchester • Manchester, ENG, GB
Leading the Autonomy Verification research group, specializing in robotics and autonomous systems verification.
University of Liverpool • Liverpool, ENG, GB
Taught and conducted research in Computer Science.
Manchester Metropolitan University • Manchester, ENG, GB
Conducted research in computing and mathematics.
Includes MSc in Advanced Electrical Power Systems and MSc in Communications and Signal Processing.