Category: Personnel

Beniamino Accattoli has finished his postdoc at Parsifal and has now moved to Pittsburgh (USA) to start a postdoc at Carnegie Mellon University. Fabien Renaud is starting a year-long postdoc with Parsifal (funded by ProofCert) this week. He will take an office in the prefab until our move to the new building. Stefan Hetzl has …

Continue reading

There is a 12 month postdoc position available at LIX, Ecole Polytechnique, within the Parsifal team. The deadline for applications is August 24, 2012.

Yuting Wang, currently a PhD student with Gopalan Nadathur at the University of Minnesota, will be joining the Parsifal team for an internship during this summer.  His positions formally starts today and ends 15 August 2012.  He will be working on the team’s INRIA Associated Team (Equipe Associée) RAPT (Recent Advances in Proof Theory).

Stefan Hetzl, currently at the Vienna University of Technology, will be joining the Parsifal team for a three month postdoc during the dates 01/07/2012 and 30/09/2012.  He will be working with (at least) Chaudhuri and Miller on the general problem of canonicity in classical sequent calculus.

Zakaria Chihani is starting his M2 level internship at LIX on the topic of Proof certificates for some basic proof systems in classical logic.

Two new interns will be starting this spring on topics related to their Master’s program (MPRI). Zakaria Chihani will be working on Proof certificates for some basic proof systems in classical logic.  He will be starting 15 March 2012. Florence Clerc will be working on Relating double-negation translations and focused proof systems.  She will be starting …

Continue reading