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.
Oct 01
