— Curriculum Vitæ —

Transcription

— Curriculum Vitæ —
— Curriculum Vitæ —
Enseignant, mathématiques et informatique.
Fabien COULON, né à Mont Saint Aignan (France) le 23 mai 1977, de nationalité française.
Adresse personnelle
12 bis rue Stanislas Girardin
76000 ROUEN
Tel : 0235704430/0687040646
e-mail [email protected]
site http://coulon.publi.free.fr
Fonctions
2002-2005 Allocataire de recherche au LIFAR. Moniteur d’enseignement au département d’informatique de l’université de Rouen.
2001-2002 Enseignant vacataire au département d’informatique de l’université de Rouen (96h).
Cursus universitaire
Par année d’obtention des diplômes.
2004 Thèse de doctorat de l’université de Rouen, soutenue le 6 décembre 2004. Obtenue avec la
mention Très Honorable.
2002 DEA Informatique Théorique et Applications, Université de Rouen, mention Très Bien.
2000-2001 Préparation à l’agregation de mathématiques. Admis au CAPES et admissible à
l’agregation de mathématiques.
1999 Maı̂trise de Mathématiques, Université de Rouen, mention Assez Bien.
1998 Licence de Mathématiques, Université de Rouen, mention Assez Bien.
1997 DEUG Mias, Université de Rouen, mention Très Bien.
1995 Baccalauréat série S, Académie de Rouen.
Stages
juillet 2003 2 semaine au DIRO, université de Montréal, Québec, Canada. Développement en C
d’une technique de filtrage d’expressions secondaires dans le génome, décrite dans ma thèse,
chapitre 4 (http://coulon.publi.free.fr/these.ps).
août 2004 1 semaines au DIRO, université de Montréal, Québec, Canada. Idem. Intégration et
développement en C++.
Enseignements
Tous ces enseignements ont été réalisés à l’université de Rouen. Les heures indiquées sont des
équivalents heure de TD.
2004–2005 2eme semestre. Langage Web en Licence 3 IUP GMI (21,3h de TP)
Infographie en Master 1 IUP GMI (36h de TP)
2003–2004 1er semestre. Calcul Formel en Licence IUP GMI (24h de TP).
2eme semestre. Algorithmique en DEUG MIAS (12h de TP). Introduction à l’algorithmique
en DEUG SV (24h de TD).
2002–2003 1er semestre. Calcul Formel en Licence IUP GMI (24h de TP).
2eme semestre. Algorithmique en DEUG MIAS (48h de TD/TP).
2001–2002 1er semestre. Calcul Formel en Licence IUP GMI (24h de TP).
2eme semestre. Algorithmique en DEUG MIAS (48h de TD/TP).
1
Ingénierie informatique
→ Implémentation de deux techniques originales de réduction d’automates non-déterministes ;
ultérieurement introduites au projet vaucanson de l’EPITA. Développement en C puis C++.
→ Développement de deux logiciels, initiallement distribués comme sharewares :
→ OpenEuclide : création de figures géométriques dynamiques, librement déformables. C’est
un logiciel essentiellement à but éducatif. Il est maintenant distribué en OpenSource :
http://coulon.publi.free.fr/FrMain.php.
→ Easy Tracer : un logiciel qui permet de créer des logos en ray-tracing (image de synthèse)
au travers d’une interface 2D simplifiée.
Développement en C++ (Visual C++ et MFC, puis GTK+). Distribution par le biai d’une
entreprise individuelle à mon nom.
Langages de programmation : Connaissance approfondie de C, C++, Assembleur x86, Shell
unix (bash). Connaissance académique de HTML, PHP, SQL, JAVA, JavaScript.
Système : Connaissance approfondie de l’API Windows, MFC et de l’API GTK+. Bonne
connaissance de GNU/Linux.
Publications
Journaux avec comité de lecture
[1] J.-M. Champarnaud, F. Coulon, Theoretical study and implementation of the canonical automaton. Fundamenta Informaticae, 55(1) :23–38, 2003.
[2] J.-M. Champarnaud, F. Coulon, T. Paranthoën, Compact and Fast Algorithms for Regular
Expression Search. Intern. J. of Comput. Math, 81(4), 2004.
[3] J.-M. Champarnaud, F. Coulon, NFA reduction algorithms by means of regular inequalities,
Theoret. Comput. Sci , 327(3) : 241–253, 2004.
[4] J.-M. Champarnaud, F. Coulon, Enumerating nondeterministic automata for a given language
To Appear in Intern. Journal of Found. of Comput. Sci, 2005.
[5] J.-M. Champarnaud, F. Coulon, T. Paranthoen Brute force determinization of NFAs by means
of state cover To Appear in Intern. Journal of Found. of Comput. Sci, 2005.
Conférences internationales avec comité de lecture
[6] J.-M. Champarnaud, F. Coulon, NFA reduction algorithms by means of regular inequalities,
in Proceedings of the 7th International Conference DLT 2003, number 2710, pages 194–205,
Springer-Verlag, 2003.
[7] J.-M. Champarnaud, F. Coulon, T. Paranthoen. Brute force determinization of NFAs by means
of state covers, in Proceedings of the 9th International Conference, CIAA 2004, 2004.
[8] F. Coulon, M. Raffinot. Identification of Maximal Common Connected Sets of Interval Graphs
and Tree Forests, CompBioNets’2004.
Autres conférences
[9] J.-M. Champarnaud, F. Coulon, Büchi automata reduction by means of left and right trace
inclusion preorders, Journées Montoises 2004.
Séminaires
[10] Séminaire du laboratoire IGM, Marnes-la-Vallée, Décembre 2003 : Algorithmes rapides et
compacts pour la recherche d’expressions rationelles.
2