«

»

Nov 02

Zak Chihani defends his PhD today

His defense will take plan in the Gilles Kahn room of the Alan Turing building at 14h.

His thesis title is “Certification of First-order proofs in classical and intuitionistic logics”.