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 …
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).
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 …