Francisco Girbal Eiras BSc MSc

Francisco received a BSc in Electrical and Computer Engineering from Tecnico Lisbon, as well as an MSc in Computer Science from the University of Oxford. In 2018 he joined the UK-based autonomous driving startup FiveAI, working primarily on motion planning problems via constrained optimization, and contributing to the company's research on provably robust training of deep neural networks.

In 2020 he joined the Autonomous Intelligent Machines and Systems (AIMS) Centre for Doctoral Training (CDT) to pursue his research interests in Optimization and Robust Machine Learning. His degree is partially funded by FiveAI.

• Optimization
• Robust Machine Learning
• Verification and Certification of Neural Networks

Scaling-up Robust Deep Learning: designing highly efficient optimization algorithms to verify neural networks