Three people join the team 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”.
© 2012 INRIA
Made with by Graphene Themes.