Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
Currently, there are openings for two PhD positions and one postdoc position.
Research Experience
Current research areas include:
- 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
Background
Professor of Safe Artificial Intelligence, Royal Academy of Engineering Chair in Emerging Technologies, ACM Distinguished Member. Leads the Safe AI Lab, where methods and tools for the verification of AI systems are developed to ensure they can be deployed safely and securely in applications of societal importance.