Domaines de compétence

Plateforme Windows essentiellement - notions Linux

Technologies XML : XSLT, XSL-FO, SVG (graphique 2D), X3D (graphique 3D), DOM, etc.

Technologies web : HTML  XHTML  PHP  javascript 

Technologies 3D :  VRML  X3D

Bases de données : MySQL

Calcul scientifique :  Java   C++   

Expérience professionnelle

Ingénieur-chercheur en activité dans un grand groupe industriel français.

Spécialité de modélisation de connaissances complexes comportant des problèmes de cohérence logique et/ou temporelle.

Deux grands domaines d'application, mis en oeuvre le plus souvent dans des environnements client-serveur :

1. Application de la logique mathématique à la vérification formelle de spécifications, particulièrement dans le domaine du contrôle-commande de systèmes temps réel (nucléaire, reseau électrique). Exemple : qualification de données de configuration pour les systèmes numériques de contrôle-commande.

2. Programmation avancée dans le domaine du calcul scientifique : diagnostic et qualification de maillages pour les méthodes d'éléments finis.

Etudes

Ecole polytechnique (promotion 1978 - diplôme 1981).

Doctorat d'informatique industrielle (1985).

Nombreux stages de formation à des techniques spécifiques.