En Français

Olivier Delande's home page

I have just defended my PhD in theoretical Computer Science that I prepared from October 2006 to October 2009 under the supervision of Professor Dale Miller within the Parsifal team at the LIX in Palaiseau, near Paris, France.

My field of research is proof theory. In my thesis, I studied some interactive aspects of proof search by developing a neutral approach and an original symmetric game semantics for multiplicative and additive linear logic.

Contact information:

Laboratoire d'Informatique (LIX)
École Polytechnique
91128 Palaiseau Cedex
France

Office room: 412.30
Email: my_last_name at lix dot polytechnique dot fr
Phone: +33(0)169334128