Category: Personnel

Mahfuza Farooque succeesfully defended her PhD yesterday (19 Dec 2013). Her thesis is titled “Automated reasoning techniques in sequent calculus”.

Danko Ilik starts a one year postdoc within the team.  He will be part of the ProofCert effort.  

Ivan Gazeau succeesfully defended his PhD yesterday (14 Oct 2013).  His thesis is titled “Safe Programming in finite precision: Controling the errors and information leaks”.  Ivan is in the process of packing up and moving to his next position as a PostDoc researcher at the University of Birmingham.

Olivier Savary-Bélanger joins us for a three month internship starting May 13. He will be working on automating various aspects of context relations in Abella, as part of the RAPT project.

Stefan Hetzl (former postdoc in Parsifal) has recently won a sponsorship from the Vienna Science Technology Fund that will allow him to build a new research team at the Technical University of Vienna.  For more about this 1.5 million euro award, read the press releases in English and German.

Nicolas Guenot (new web page) defended his Ph.D. on 10 April at LIX under the supervision of Lutz Straßburger. He will continue to a postdoctoral position at Demtech at the IT University, Copenhagen.

Jean Pichon started his M2 internship via MPRI within the team on 18 March.  He will be here until late August.  The proposal for his internship is available.

One or two ProofCert-funded postdoc positions are available within the Parsifal team.

Dale Miller is proposing an internship for the spring/summer of 2013: Moving focusing proof systems to arithmetic.  

Matteo Cimini, a recent PhD student from the Computer Science Department at Reykjavik University in Iceland, joined Parsifal as a postdoc for 12 months starting 1 October 2012.