LightHome, Feb. 2022 - Present
Co-Founder and CEO
LightHome uses AI to allow users to search for more features than any other property marketplace. By reducing the time users take to find a desirable home up to their standards, it simultaneously enables agents to let their properties more quickly.
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.
Research Student (Undergraduate)
Constructed modules for gesture recognition through supervised learning using RGB-D cameras, from simple binary classification gestures (e.g. waving) to more complex regression ones (e.g. pointing estimation) and integrated them in a MOnarCH robot as part of the INSIDE project.
publications
• Journal:
ANCER: Anisotropic Certification via Sample-wise Volume Maximization
A Two-Stage Optimization-based Motion Planner for Safe Urban Driving
• Conference:
PILOT: Efficient Planning by Imitation Learning and Optimisation for Safe Autonomous Driving
Interpretable Goal Recognition in the Presence of Occluded Factors for Autonomous Vehicles
Interpretable Goal-based Prediction and Planning for Autonomous Driving
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
Correct-by-Construction Advanced Driver Assistance Systems based on a Cognitive Architecture
Analytical Modeling of Vanishing Points and Curves in Catadioptric Cameras
• Workshop:
An Optimization-based Motion Planner for Safe Autonomous Driving
pdf
Autonomous Driving with Interpretable Goal Recognition and Monte Carlo Tree Search
pdf
Towards Provably Correct Driver Assistance Systems through Stochastic Cognitive Modeling
pdf
* indicates equal contribution.
See all in Google Scholar.
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 and Prof. Pawan Kumar
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