« Three people join the team today
New offices »
by Dale MILLER
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”.
This post has no tag
© 2012 INRIA
Powered by WordPress and the Graphene Theme.