Segment, Select, Correct: A Framework for Weakly-Supervised Referring Segmentation
pre-print
paper
Provably Correct Physics-Informed Neural Networks
workshop
outstanding paper award
paper
Towards Certified Machine Learning
F. Eiras
Presented at Columbia University (hosted by Prof. Suman Jana), New York University (hosted by Prof. Jinyang Li & Prof. Joseph Tassardi), University of California, Berkeley (hosted by Prof. Somayeh Sojoudi), and Stanford University (hosted by Prof. Clark Barret)
talk
slides
Certifying Ensembles: A General Certification Theory with S-Lipschitzness
conference
paper
Faithful Knowledge Distillation
T. Lamb, R. Bunel, K. Dj Dvijotham, P. H. S. Torr, M. Pawan Kumar, F. Eiras
arXiv, 2023
pre-print
paper
RANCER: Non-Axis Aligned Anisotropic Certification with Randomized Smoothing
conference
paper
ANCER: Anisotropic Certification via Sample-wise Volume Maximization
journal
paper
A Two-Stage Optimization-based Motion Planner for Safe Urban Driving
journal
paper bibTeX
PILOT: Efficient Planning by Imitation Learning and Optimisation for Safe Autonomous Driving
conference
paper
Interpretable Goal Recognition in the Presence of Occluded Factors for Autonomous Vehicles
conference
paper
Interpretable Goal-based Prediction and Planning for Autonomous Driving
conference
paper bibTeX
PaRoT: A Practical Framework for Robust Deep Neural Network Training
E. Ayers, F. Eiras, M. Hawasly, I. Whiteside
12th NASA Formal Methods Symposium (NFM), 2020
conference
paper bibTeX
Correct-by-Construction Advanced Driver Assistance Systems based on a Cognitive Architecture
conference
paper bibTeX
Analytical Modeling of Vanishing Points and Curves in Catadioptric Cameras
conference
paper bibTeX
* indicates equal contribution.
See all in Google Scholar.
experience
Five, Dec. 2022 - Jun. 2023
Research Scientist Intern
• Worked on referring image segmentation using a zero-shot method coupled with a contrastive loss to achieve the new unsupervised state-of-the-art in the field.
University of Oxford, Oct. 2020 - Aug. 2024 (Expected)
PhD Candidate, Autonomous Intelligent Machines and Systems CDT
Studying and developing research within the areas of machine learning, computer vision, optimization and verification as part of Oxford’s Autonomous Intelligent Machines and Systems (AIMS) Center for Doctoral Training (CDT) programme. Scholarship partially funded by FiveAI Ltd.
Five, Sep. 2018 - Sep. 2020
Research Engineer, Motion Planning and Prediction
• Led the development of safe and scalable optimization-based motion planning algorithms, working in a team with research scientists and software engineers
• Published and presented research work developed at top tier conferences and journals within the robotics community, as well as to non-technical audiences
• Wrote and reviewed research and development code, ensuring CI with other tools within the company
• Carried out literature reviews, prepared and presented cutting edge research at paper reading groups
Graduate Research Assistant
Studied and developed new methods to perform pose estimation through vanishing points in general (central and non-central) omnidirectional cameras which lead to the publication of a paper in one of the top conferences in the field, IEEE CVPR 2018.
education
University of Oxford, Oct. 2020 - Aug. 2024 (Expected)
PhD in Engineering Science (AIMS)
Relevant courses: Data Estimation & Inference, Machine Learning, Reinforcement Learning, Discriminative & Deep Learning for Big Data
Supervisors: Prof. Philip H.S. Torr, Dr. Adel Bibi and Dr. Pawan Kumar (Google DeepMind)
University of Oxford, Oct. 2017 - Sep. 2018
MSc in Computer Science (Distinction)
Relevant courses: Computational Game Theory, Probabilistic Model Checking
Dissertation: “To Err is Human: Designing Correct-by-Construction Driver Assistance Systems using Cognitive Modelling”
Supervisors: Dr. Morteza Lahijanian and Prof. Marta Kwiatkowska
EPFL, Sep. 2016 - Feb. 17
Student Exchance (5.75/6)
Relevant courses: Applied Machine Learning, Image and Video Processing, Lab in Image and Signal Processing
Awarded a monthly scholarship under the Swiss-European Mobility Programme
Técnico Lisboa, Sep. 2013 - Jul. 2016
BSc in Electrical and Computer Engineering (18/20)
Relevant courses: Algorithms and Data Structures, Signals and Systems, Computational Mathematics, Automatic Control
Top 2% of the class
Academic Excelency Award every year and for the end of the BSc (3 years)
contact
Francisco Eiras
Linacre College
St.Cross Rd,
Oxford OX1 3JA,

Check out my Google Scholar and Github, or say 👋 via Twitter, LinkedIn or email