She came to me inside a package, all the way from Japan
She gives me more than satisfaction
And she's right in the palm of my hand
And there's so much she makes me do
Guess I'm a slave to my new software
We are so compatible, we could write the manual
She is so expandable, it's unbelievable
(Software, Solitary Nights, Randy Goodrum)
Formation
Après avoir effectué ma thèse à Dijon au sein du LIRSIA, j'ai travaillé durant 16 mois en tant qu'Ingénieur de Développement dans une start-up (Snaketech/Simplex Solutions). J'ai été recruté en tant que Maître de Conférences en Informatique (Section CNU 27) à l'Université d'Angers en septembre 2000.
Je suis membre du LERIA (Laboratoire d'Etude et de Recherche en Informatique d'Angers) et je fais partie de l'équipe Métaheuristiques, Optimisation et Applications dirigée par le Professeur Jin-Kao Hao.
- Pour en savoir plus sur mon parcours >>
- agenda et coordonnées >>

Responsabilités et activités
Statut : Maître de Conférences, Section 27, 8e échelon
- Comité d'organisation conférence Richard Stallman, 18 Avril 2016, Angers
- Responsable pédagogique et président de jury du M2 Informatique SILI (2012-2018)
- Responsable pédagogique et président de jury du M1 Informatique (2009-2012)
- Invited Speaker of IBSS 2011, see course
- Membre du Comité d'Organisation de EA 2011
- Responsable pédagogique et président de jury du M1 Informatique (2009-2012)
- Co-président du Comité d'Organisation de JOBIM'09
- Responsable pédagogique et président de jury de la licence Sciences Exactes et Naturelles (2003-2007)
- Membre du Comité Technique de BiogenOuest (anciennement Ouest Génopole)
- Responsable de la bibliothèque du Département Informatique (2005-)
- Responsable du site web du laboratoire LERIA (2007-2018)
- Responsable des séminaires du laboratoire LERIA (2010-2018)
- Trésorier de l'AAI (Association Angevine Informatique, 2004-2009)
- Correspondant SPECIF (2006-2018)
- autres autres responsabilités et activités...
Recherche >>
Mes centres d'intérêt concernent principalement :
- la Logique et la Démonstration Automatique
- les problèmes combinatoires complexes et les méthodes associées à leur résolution
- la Bioinformatique : problèmes académiques (alignement multiple, phylogénie), prédiction de ponts disulfures, localisation subcellulaire (dans le cadre du projet BIL)
Google Scholar >>, ORCID : 0000-0001-7284-3865
Enseignements >>
J'enseigne et ai pu enseigner les matières suivantes :
- Programmation parallèle CUDA (M2 SILI)
- Programmation parallèle X86
- Architecture des Ordinateurs : assembleur x86 (32/64 bits), SSE, AVX2, algèbre de Boole (L3)
- Algorithmique - Programmation Pascal (L1, L2)
- Programmation C (L3)
- Programmation Objet : C++, Java (L2, L3, M1)
- Démonstration Automatique (L3)
- Génie Logiciel : principes, cycle de vie, méthodes agiles (M1)
- Introduction/initiation à Linux, à Perl, à la Bioinformatique (L2/L3 ISSBA, M1 Bio)
- Développement Web : XHTML, CSS, Javascript (L1)
- Développement Web (PHP): MySQL, Javascript, Dojo, ORM, DAO (L3, M1)
- Développement Web (Java): Servlet, ORM, DAO, Hibernate, JSTL (M1, M2)