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
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).
Mar 16
Intern starts today
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 …