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 …
Category: Personnel
Jul 25
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.
May 15
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).
May 15
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.
Mar 16
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.
Feb 17
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.
Feb 14
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 …