Prof Clare Dixon

Professor of Computer Science

Full contact details
View graph of relations

Research interests

My research interests include verification for robotics and autonomous systems, specification and verification of systems and theorem-proving for temporal and modal logics. In particular, I am interested in developing and applying tools and techniques that ensure systems satisfy their requirements.  I have worked with robot designers and engineers applying formal verification to their systems using logics and tools such as model
checkers and theorem provers.

Projects

Research and projects

No current projects are available for public display