Category: Personnel

Some changes in the team’s postdocs

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

New 12 mo. postdoc position

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 joins as an intern for the summer

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 joins the team for 3 months

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.

Intern starts today

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

Chuck Liang visits Parsifal in March-April

Prof. Chuck Liang of Hofstra University, USA, spends part of his sabbatical in the Parsifal team in March and April. He will arrive in Paris on 5 March.

Two new interns for Spring/Summer 2012

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