I am delighted to report that Gabriel has been hired as an Inria CR within the Parsifal team. His position starts 1 September 2017.
Some team members have moved to new offices. Here is the full list of changes:
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”.
Two postdocs are joining Parsifal today: Matthias Puech and Noam Zeilberger. Also, Leonardo Lima, an undergraduate from Brazil (advised by Vivek Nigam) joins the team for a 5 month internship. These positions are funded by the ProofCert project.
The following papers authored by members of the Parsifal team were accepted to the 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015):