Author's posts

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

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”.

Oct 01

Three people join the team today

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.  

Dec 24

Chuck Liang visits for a week

Chuck Liang visited the team during the week of 16 December.  He gave a talk on Wednesday 18 Dec.

Dec 20

PhD defense of Mahfuza Farooque

Mahfuza Farooque succeesfully defended her PhD yesterday (19 Dec 2013). Her thesis is titled “Automated reasoning techniques in sequent calculus”.