Haitham Khedr
Research Scientist at Meta
United States
Summary
🤩
Rockstar🎓
Top SchoolHaitham Khedr is a research scientist and PhD candidate focused on Trustworthy AI, currently advancing computer vision research at Meta FAIR while completing formal verification work on neural networks at UC Irvine. With 11 years of industry and academic experience spanning ADAS, multi-camera 3D detection, and perception systems, he blends hands-on engineering with rigorous formal methods to provide behavioral guarantees for learned models. His background includes multiple internships and research roles at Meta, Qualcomm, and leading universities, reflecting a practical track record of moving safety-critical vision algorithms from prototype to deployment. Notably, he pairs embedded and Autosar experience from automotive projects with deep verification expertise—an unusual combination that bridges low-level system constraints and high-level provable AI behavior. Based in the United States, he brings both breadth across perception stacks and depth in formal assurance to research-driven engineering challenges.
11 years of coding experience
8 years of employment as a software developer
Bachelor of Science (BSc) Computer Engineering, Bachelor of Science (BSc) Computer Engineering at Ain Shams UniversitySelf driving cars Nanodegree, Self driving cars Nanodegree at UdacityUniversity of California, IrvineNefertari language schoolDoctor of Philosophy - PhD, Doctor of Philosophy - PhD at University of Maryland
English, Arabic
Stackoverflow
99reputation
13kreached
5answers
7questions
Github Skills (40)
transformers10
pytorch10
language-model10
python10
machine-learning10
deep-learning10
tensorflow10
natural-language-processing10
bert10
transformer10
speech-recognition10
nlp10
jax10
seq2seq9
flax9
Programming languages (4)
Github contributions (5)
youssef-emad/sQuiz
Feb 2015 - Feb 2017
Contributions:27 PRs, 23 pushes, 11 branches in 2 years
haithamkhedr/Lane-Detection
Jan 2017 - Sep 2017
Contributions:33 commits, 25 pushes, 1 branch in 7 months
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.