Idir Sadoune
Maître De Conférences at CentraleSupélec
Gif-sur-Yvette, Île-de-France, France
Summary
👤
Senior🎓
Top SchoolIdir Sadoune is an associate professor (Maître de Conférences) in computer science at CentraleSupélec and a researcher at the Laboratoire Méthodes Formelles, bringing eight years of formal academic experience backed by a PhD in computer science. His career blends teaching and research across top French labs (LRI, LIAS) with a focus on verification of algorithms, languages and systems, reflecting deep expertise in formal methods. He has progressed from doctoral researcher and teaching roles to a permanent faculty position, demonstrating sustained contributions to both education and rigorous software verification research. Based near Paris-Saclay, he combines rigorous formal techniques with practical departmental teaching responsibilities, bridging theory and application in graduate engineering education.
8 years of coding experience
Master, Informatique et Application, Master, Informatique et Application at Université de PoitiersIngénieur d'état, Informatique, Ingénieur d'état, Informatique at Ecole nationale Superieure d'Informatique (ESI)Doctorat, Informatique et Application, Doctorat, Informatique et Application at Ecole Nationale Supérieure de Mécanique et d'Aérotechnique
English, French, Arabic, Kabyle
Github Skills (5)
semantics7
ontology7
isabelle7
typesetting5
certification2
Programming languages (1)
Github contributions (5)
idiraitsadoune/idiraitsadoune.github.io
Sep 2020 - Apr 2025
Contributions:440 pushes in 4 years 7 months
idiraitsadoune/OntoEventB
Apr 2021 - Jun 2021
Contributions:1 release, 8 pushes, 1 branch in 1 month
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.