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”.