Je suis membre du LERIA (Laboratoire d'Etudes et de Recherche en Informatique d'Angers) et fais partie de l'équipe Métaheuristiques, Optimisation et Applications dirigée par le Professeur Jin-Kao Hao.
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)
J'enseigne et ai pu enseigner les matières suivantes :
* Algorithmique (Programmation Pascal) * Programmation C * Programmation en assembleur x86 (et instructions SSE) * Programmation Objet (C++, Java) * Architecture des Ordinateurs (assembleur Pentium, SSE, algèbre de Boole) * Démonstration Automatique * Génie Logiciel (méthodes agiles, XP) * Introduction/initiation à Linux, à Perl, à la Bioinformatique * Développement Web (php, MySQL, Javascript, Dojo, Servlet, ORM, DAO, Hibernate)
