PeopleofSuperintelligence

Researcher

Haitham Khedr

Haitham Khedr is a computer scientist whose work runs from the formal verification of neural networks to the Segment Anything family of vision models at Meta. After a BSc in electrical and computer engineering at Ain Shams University in 2016 and two years in industry, he joined Yasser Shoukry's Resilient Cyber-Physical Systems group and completed a PhD at UC Irvine in 2023. His papers there included PEREGRiNN in 2021, CertiFair in 2023 and DeepBern-Nets in 2024. At Meta he was a core contributor to SAM 2 in 2024, which received an ICLR 2025 Outstanding Paper Honorable Mention, and to SAM 3 in 2025. He is a core contributor on the SAM 3 team at Meta Superintelligence Labs.

Badges

Timeline

  1. 2016

    Engineering degree at Ain Shams

    In 2016, he earns a BSc in electrical and computer engineering at Ain Shams University, then works for two years in industry in the automotive and traffic safety fields.

  2. 2018–2023

    PhD at UC Irvine

    He spends a year at the University of Maryland in the Resilient Cyber-Physical Systems group of Yasser Shoukry before coming to UC Irvine, where he belongs to the group from 2018 to 2023. An MSc in electrical engineering and computer science follows in 2021, and a PhD in 2023 with the dissertation "Formal Verification of Neural Network Properties: Algorithms and Applications". Meta is his first employer after the degree.

  3. 2020–2021

    The PEREGRiNN verifier

    In 2020, he is first author of PEREGRiNN, written with James Ferlez and Yasser Shoukry: a verifier for ReLU neural networks with polytopic input and output specifications. The International Conference on Computer-Aided Verification accepts the paper in 2021.

  4. 2023–2024

    CertiFair and DeepBern-Nets

    With Yasser Shoukry, he publishes CertiFair at AAAI in 2023, a sound and complete verifier for global individual fairness of ReLU classifiers. DeepBern-Nets follows at AAAI in 2024, a class of networks with Bernstein polynomial activations and an interval bound propagation algorithm called Bern-IBP.

  5. August 2024

    Core contributor on SAM 2

    At Meta FAIR, he is one of the core contributors to SAM 2: Segment Anything in Images and Videos, posted in August 2024. The model is a transformer with streaming memory for real-time video processing, released with the largest video segmentation dataset to date.

  6. 2025

    An ICLR honorable mention

    ICLR 2025 names SAM 2: Segment Anything in Images and Videos one of three Outstanding Paper Honorable Mentions. He is among its authors.

  7. November 2025

    SAM 3 and concept prompts

    In November 2025, he is a core contributor to SAM 3: Segment Anything with Concepts from Meta Superintelligence Labs. The unified model detects, segments, and tracks objects in images and videos from concept prompts such as short noun phrases.

  8. As of October 2026

    At Meta Superintelligence Labs

    He is a core contributor on the SAM 3 team at Meta Superintelligence Labs, which releases SAM 3.1 in March 2026 with faster joint tracking of multiple objects.

Career

  1. NowMeta Superintelligence LabsCore Contributor
  2. 2024FAIR (Meta)Core Contributor

Education

  1. 2023University of California, IrvinePhD
  2. 2021University of California, IrvineMSc
  3. 2016Ain Shams UniversityBSc

From the biography.

  1. 16% of AI career moves in the 2020s went from a university to a companyIncludes Haitham Khedr. We estimate that 16% of AI career moves in the 2020s went from a university to a company; 29% of moves starting at a university went to a company, and 76% ended the university role.
  2. The company share of AI researchers’ top papers was 31% in 2020–2024 and 8% in 1970–1974Includes Meta. We estimate where the people shaping AI worked when their most-cited papers appeared: the company share was 31% in 2020–2024 and 8% in 1970–1974, and Google led all organizations in 2020–2024.
  3. The median h-index is 48 at universities and 14 at frontier AI labsIncludes Meta Superintelligence Labs. The median h-index is 48 at universities and 14 at frontier AI labs. We compare publishing careers, recent citations, dual appointments and job moves across 2,420 university researchers and 308 frontier-lab researchers.
  4. Companies supply the most prior-work hires at 7 of the 9 frontier AI labsIncludes Meta Superintelligence Labs. Our estimates of the organizations where 550 people worked directly before joining 9 frontier AI labs across 620 career transitions, comparing the main feeder organizations per lab.

Colleagues

People with dated positions at the same organization in the same years.

Sources and credits

Photo: We have no published photo of Haitham Khedr yet. Send us a free-licensed photo.

  1. Haitham Khedr hkhedr.com. Checked 21 October 2026.
  2. People – Resilient Cyber-Physical Systems Lab rcpsl.eng.uci.edu. Checked 21 October 2026.
  3. PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier arxiv.org. Checked 21 October 2026.
  4. Paper accepted in CAV 2021 – Resilient Cyber-Physical Systems Lab rcpsl.eng.uci.edu. Checked 21 October 2026.
  5. CertiFair: A Framework for Certified Global Fairness of Neural Networks ojs.aaai.org. Checked 21 October 2026.
  6. DeepBern-Nets: Taming the Complexity of Certifying Neural Networks Using Bernstein Polynomial Activations and Precise Bound Propagation ojs.aaai.org. Checked 21 October 2026.
  7. SAM 2: Segment Anything in Images and Videos arxiv.org. Checked 21 October 2026.
  8. SAM 2: Segment Anything in Images and Videos (HTML version) arxiv.org. Checked 21 October 2026.
  9. Announcing the Outstanding Paper Awards at ICLR 2025 blog.iclr.cc. Checked 21 October 2026.
  10. SAM 3: Segment Anything with Concepts arxiv.org. Checked 21 October 2026.
  11. SAM 3: Segment Anything with Concepts (HTML version) arxiv.org. Checked 21 October 2026.
  12. facebookresearch/sam3: Meta Segment Anything Model 3 (SAM 3) github.com. Checked 21 October 2026.