Page professionnelle d'Olivier Delande
Je suis ingénieur de recherche en informatique chez Thales Research & Technology à Palaiseau, près de Paris.
Avant de rejoindre Thales, j'ai soutenu une thèse en informatique fondamentale dans le domaine de la théorie de la démonstration, réalisée sous la direction du professeur Dale Miller au sein de l'équipe Parsifal au LIX, également à Palaiseau. J'ai étudié certains aspects interactifs de la recherche de démonstration en développant une approche neutre et une sémantique des jeux symétrique pour la logique linéaire additive et multiplicative.
Voici mes coordonnées :
Thales Research & Technology2, avenue Augustin Fresnel
91767 Palaiseau Cedex
France
Courriel : mon_prénom point mon_nom arobase thalesgroup point com