Category: Personnel

PhD defense of Mahfuza Farooque

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

Danko Ilik begins his postdoc in Parsifal

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

PhD defense of Ivan Gazeau

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 begins his summer internship

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 gets a new position in Vienna

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 successfully defends his Ph.D.

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 starts as an intern

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.

ProofCert funded PostDoc positions available

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

An internship proposed

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

Matteo Cimini joins as a Post Doc

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.