Olivier Delande's home page
I am a research engineer in Computer Science at Thales Research & Technology, Palaiseau, near Paris, France.
Before I joined Thales, I defended a PhD in theoretical Computer Science in the field of proof theory, that I prepared from October 2006 to October 2009 under the supervision of Professor Dale Miller within the Parsifal team at the LIX, also in Palaiseau. 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:
Thales Research & Technology2, avenue Augustin Fresnel
91767 Palaiseau Cedex
France
Email: my_first_name dot my_last_name at thalesgroup dot com
- Last update: June 10, 2010
- Valid XHTML 1.1
- Valid CSS