Sergio Feo-arenis
Software Engineering Manager - Deep Learning Safety - Automotive at NVIDIA
Dubai, Dubai, United Arab Emirates
Summary
👤
Senior🎓
Top SchoolSergio Feo-arenis is a software engineering manager specializing in deep learning safety for automotive systems, bringing 11 years of experience spanning industry leaders like NVIDIA, Airbus, AUDI, and ESA. He combines a PhD-level background in model-based development and formal methods with hands-on expertise in model checking, static analysis, automated theorem proving and neural network verification to make ML systems auditable and certifiable. His career bridges research and product delivery—transitioning innovations from academic settings at the University of Freiburg and international research fellowships into production-grade safety tooling at OEMs and Tier 1s. Based in Dubai, he leads teams that operationalize safety pipelines for timed and hybrid multi-agent systems in safety-critical domains. An uncommon strength is his ability to translate rigorous formal verification techniques into practical MBSE workflows that satisfy both engineers and regulators.
11 years of coding experience
16 years of employment as a software developer
PhD Computer Science, PhD Computer Science at The University of FreiburgEngineer’s Degree Systems Engineering, Engineer’s Degree Systems Engineering at Universidad Nacional de Colombia
English, German, Spanish, Japanese
Github Skills (46)
tla10
reachability10
termination10
abstract-interpretation10
verification10
model-checking10
automata10
program-analysis10
static-analysis9
python9
iot9
home-automation9
raspberry-pi9
symbolic-execution9
privacy8
Programming languages (5)
Github contributions (5)
sergioafeo/dotvim
Aug 2017 - Nov 2019
Contributions:5 pushes, 1 branch in 2 years 3 months
sergioafeo/jpf-net-master-slave
Dec 2020 - Dec 2020
Contributions:2 pushes, 1 branch in 1 day
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.