Scholar
Zakaria Chihani
Google Scholar ID: mgzCh30AAAAJ
CEA
Citations & Impact
Citations
203
H-index
8
i10-index
6
Publications
20
Co-authors
0
Contact
Publications
Resume (English only)
Academic Achievements
- Published multiple papers and authored the French adaptation of Cryptic Crosswords, named Crucicryptos.
Research Experience
- Joined CEA in 2015 for a postdoc on the Soprano project. Currently a researcher at the Safety and Security Lab of CEA-list, leading the effort toward the safety ensurance of Artificial Intelligence through Formal Methods, including Abstract Interpretation, SMT solving, and Constraint Programming.
Education
- PhD student working on the ProofCert project in the Parsifal team (Inria Saclay) registered at École polytechnique (EDX) under the supervision of Dale Miller, graduated in November 2015.
Background
- Research interests include logic and AI, particularly in certification, theorem proving and proof checking, software verification & validation, machine learning, higher order logic programming, focusing. Passionate about the History of Logic, how fields and discoveries influenced each other, and how these gave birth to most of computer science.
Miscellany
- Interested in the history of logic and anecdotes, enjoys sharing interesting stories about logic.
Co-authors