Professor of Safe Artificial Intelligence
Royal Academy of Engineering Chair in Emerging Technologies
ACM Distinguished Member
I lead the Safe AI Lab, where we develop methods and tools for the verification of AI systems so that they can be deployed safely and securely in applications of societal importance.
At present we are contributing to the following research areas:
- Verification and robust learning for neural networks and decision trees.
- Robust machine learning in aviation and finance.
- Monitoring of machine learning systems.
- Assurance for autonomous systems and AI.
- Verification and validation of neuro-symbolic systems.
We presently have openings for two PhD positions and one postdoc position.
