Author's posts
Nov 08
Three visitors during Fall 2018
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.
Jun 07
Map of rooms in the Alan Turing Building
This pdf locate rooms and teams within the Alan Turing building.
Aug 28
Gabriel Scherer joins team
I am delighted to report that Gabriel has been hired as an Inria CR within the Parsifal team. His position starts 1 September 2017.
Nov 02
Zak Chihani defends his PhD today
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”.
Oct 01
Three people join the team today
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.
May 19
Chuck Liang visits for a month
Chuck Liang (Professor from Hofstra University, NY, USA) will be visiting the team from 19 May until 15 June 2015.
Apr 28
ProofCert is looking for PostDocs
The ProofCert effort is looking to hire one or two postdoc starting in Fall 2015 (further particulars).
Apr 24
Horace Blanc joins the team for an M2 internship
Horace Blanc is doing his MPRI M2 internship at Parsifal under the supervision of Beniamino Accattoli. He will be working on Lambda to Pi.
Jan 05
Two new members to the team
Today is the first day for both Beniamino Accattoli (CR) and Tomer Libal (Engineer). Welcome onboard!
Jun 12
Chuck Liang visits during May and June
Chuck Liang (Professor, Hofstra University) visits the team during 26 May – 20 June 2014.
