The team has three long-term visitors during Fall 2018. Elaine Pimentel visits from 1 October 2018 to 20 November 2018. Carlos Olarte visits from 1 October 2018 to 20 November 2018. Gopalan Nadathur visits from 15 October to 15 November 2018.
November 2, 2015: Zak’s 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”.
October 1, 2015: 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.