Skip to main content
Francisco Girbal Eiras

Francisco Girbal Eiras BSc MSc

DPhil Student



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.

Personal website
GitHub Profile

Research Interests

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

Research Projects

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

Research Groups