Olivier Delande's professional home page
I am an R & D engineer in Computer Science at Prove & Run, Paris, France.
Before I joined Prove & Run, I used to work at Thales Research & Technology, Palaiseau, near Paris.
Before that, 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:
Email: my_first_name dot my_last_name at provenrun dot com