Home


My full name is Zakaria Hichem Chihani but if that's unpronounceable in your mother tongue, feel free to call me Zak. My family name is officially pronounced "shi7ani", with a guttural "h".  But feel free to say "chiHani" with an "h" like in "haha", or "shianee" like the French people expediently pronounce it, or "kiaaaaaaany" in an Italian accent. Or... you know... Zak. Really...

I am currently a researcher at CEA-list. For now, I am working on the Soprano project. (No, no, it is unrelated to this soprano... nope, not really to this soprano either... good Gödel definitely NOT this soprano... Oh I wish it was this soprano... Okay I'll stop now, lest I become an unfortunate character in this soprano...)

I was a PhD student working on the ProofCert project in the Parsifal team (Inria Saclay) registered at EDX (École polytechnique) under the supervision of Dale Miller. I graduated November 2015, and I will not fix your machine.

I am generally interested in logic, and particularly interested in certification, theorem proving and proof checking, cheesecake, λ-calculus, types, software verification, higher order logic programming, pecan pie, focusing, you could even say I am married to Focused Intuitionistic Linear Higher-Order Logic. And I am always curious and looking for new research adventures! I touched on many areas during my studies including A.I., algorithmic, functional programming, automata, semantics, and I enjoyed all of them but logic had a peculiar attraction.

I am also passionate about the History of Logic, how the fields and discoveries influenced each other, how the collision of paradoxes with foundations spawned new fields, and how these, in turn, permeated and, sometimes gave birth to, most of computer science. The intricacies of the endless creation of knowledge. The phiLOGenetICs of Logic, if you will. But, to be honest, I am also interested in the gossip, so please do share with me any cool anecdote you might hear, like the time Poincaré poked Russell in the ribs and Russell answered "This is foolish, I say this quite deliberately", or the time Leibniz said to Newton "Finders keepers, losers weepers"... No? Am I getting these wrong again...?