Zakaria Chihani
Deputy Head Of Lab at CEA
Palaiseau, Île-de-France, France
Summary
👤
Senior🎓
Top SchoolZakaria Chihani is the Deputy Head of the Software Safety and Security Lab at CEA in Palaiseau, where he leads efforts to make Artificial Intelligence safer, more explainable and resilient, with a strong emphasis on formal methods. He has built and grown a team focused on Trustworthy AI, developing tools and methods that blend abstract interpretation, SMT solving, constraint programming, and property-based testing with probabilistic analysis. Since joining CEA in 2015 after a postdoc, he has advanced from researcher to deputy head, recognizing early the industrial imperative for trustworthy AI and helping establish national leadership in the field. He earned a PhD from École Polytechnique on proof certification, and previously conducted research in Inria's Parsifal team on foundational proof certification. His career spans more than a decade of bridging rigorous formal methods with practical AI safety needs in critical software, and he continues to seek talented collaborators for ambitious Trustworthy AI projects. Based in Île-de-France, he invites connections from researchers and industry to advance responsible AI.
10 years of coding experience
École Polytechnique
French, English, Arabic, SpanishGithub contributions (1)
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.