Coordonnées
32, rue Guillotin de Corson
35 000 Rennes
France
(33) 2 23 30 77 01 (personnel)
(33) 2 99 84 71 59 (bureau)
Prénom.Nom@irisa.fr (je ne mets pas mon adresse pour éviter le spam)
Expérience professionnelle
2001-2005 : (Enseignement) 10 h. cours/TD +
24 h. TP Intelligence Artificielle (niveau bac+5,
préparation et correction du DS), 100 h. TP compilation
(niveau bac+4, participation active à la rédaction du
cours), 26 h. cours/TD + 78 h. TP java (niveau
bac+2)
Étés 1997 à 2000 : Ouvrier en entreprise
Compétences
Diagnostic : en-ligne (embarqué), décentralisé,
systèmes reconfigurables, SED
Vérification (model-checking), méthode B (20 h
cours, 20 h TD), logique
LaTeX (rapports, articles scientifiques, transparents),
HTML, CSS
Programmation : Java (dont programmation d'une
interface), C++ (programmation d'un diagnostiqueur
décentralisé de système reconfigurable, environ
10 000 lignes), Prolog, ocaml (TP compilation en
ocaml), Perl, Dr. Scheme
SQL (notamment conjointement avec le php)
Enseignement, organisation de séminaire, recherche
documentaire
Anglais : Lu, écrit, parlé. Anglais scientique (3
publis internationales). Test Of English for
International Communications (TOEIC)
Formations
2003 : Model-Based Systems & Qualitative
Reasonning (MONET Summer School / Université d'été MONET)
2002 : Diplôme DEA (option Images-I.A.)
Mes passions
Généalogie : Promis, un jour, je mets en ligne mon
programme pour générer des arbres généalogiques à partir du
fichier GedCom
Lecture : Un peu de tout, romans/nouvelles,
SF-MF/classique/contemporain. J'aime particulièrement me
plonger dans un auteur et lire toute son oeuvre