I understand there's no future for us here
Guess I fooled myself into thinking there was
Now you've make it clear
I'll never be right, guess we knew it all along.
Now we've got to say good-bye and I've got to be strong
So tell me one more time how it's better for the both of us
Tell me one more time how we'll hurt each other if we stay
Tell me one more time, darling, there's just one more thing
Before you walk away
Explain it to my heart
It's better that we're over now
Tell me one more time this is the way that it's suppose to be
Tell me that I'm better off without you
How it's better to forget about you
Darling I understand
Now won't you please explain it to my heart
Explain it to my heart, Chicago
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.
Responsabilités et activités
Statut : Maître de Conférences, Section 27, 9e échelon
Conférences et interventions
- Séminaires conjoints entre la SFR ICAT et la SFR Math-STIC, 15 Novembre 2024, salle de conférence du RDC de l'IBS Rue des Capucins, 49100 Angers
- La gestion de la data et son exploitation par l'IA, Rencontres du Haras, Angers SCO Handball, 18 octobre 2024, organisé par Sébastien Gilles, Président du Club affaires Angers SCO Handball
- Médiateur scientifique LERIA (Octobre 2024)
- Conférence IA : Faut-il avoir peur de l'IA, 28-29 Septembre 2024, Briollay, AstronoMIX
- Conférence IA : de l'usage raisonné de ChatGPT, 16 Janvier 2024, Angers
- Comité d'organisation conférence Richard Stallman, 18 Avril 2016, Angers
- Responsable pédagogique et président de jury du M2 Informatique SILI (2012-2017)
- 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
- 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-2015)
- Responsable des séminaires du laboratoire LERIA (2010-2015)
- Trésorier de l'AAI (Association Angevine Informatique, 2004-2009)
- Correspondant SPECIF (2006-2011)
- 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 :
- Optimisation Combinatoire (Python, Java) (L3 MIASHS, UCO)
- Programmation et algorithmique (Python) (PEIP2 Bio, Polytech)
- Programmation parallèle CUDA (M1/M2)
- Programmation parallèle X86 (M1/M2)
- Architecture des Ordinateurs : assembleur x86 (32/64 bits), SSE, AVX2, algèbre de Boole (L3)
- Algorithmique - Programmation Pascal (L1, L2)
- Programmation C (L1/L2/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)
A lire
- 1 350 000 000 000 000 000 calculs à la seconde ! Les Etats-Unis battent le record du plus puissant ordinateur du monde
- La célèbre image du trou noir central de la Voie lactée Sgr A* serait fausse !
- La startup française d'IA Mistral a publié ses premiers modèles d'IA générative
- IA : une étude souligne les immenses failles dans le "raisonnement" des LLM
- Et si notre galaxie n’avait pas commencé comme on le pensait ? Cette découverte remet tout en question
- Le disque primordial de la Voie lactée, PanGu, aurait été trouvé !
- L'étude d'Apple prouve que les modèles d'IA basés sur le LLM sont défectueux car ils ne peuvent pas raisonner :
"Nous n'avons trouvé aucune preuve de raisonnement formel dans les modèles de langage"
- Faut-il revoir nos lois sur l'Univers ? Une observation intrigante...
- Sam Altman, PDG d'OpenAI, prévoit une superintelligence dans "quelques milliers de jours", qui permettra de réparer le climat, d'établir une colonie spatiale et de découvrir toute la physique
- Voici quand l’IA va dépasser l’intelligence humaine, selon cet expert
- Cet ordinateur met 4 jours à démarrer et c’est déjà un petit miracle
- Un jet de trou noir gargantuesque remet l’histoire de l’Univers en question
Science
- Le Japon veut se doter d’un supercalculateur zettaflopique pour 2030
- Le télescope James Webb trouve de nouveau d'impossibles galaxies qui changent nos modèles de l'Univers
- Décès de Niklaus Wirth fondateur de Pascal, Modula et Oberon, Prix Turing 1984
- Densité de l'Univers: une contradiction majeure découverte
- Une nouvelle mesure de l'agglomération de l'Univers pourrait remettre en question le modèle cosmologique standard
- Un étrange objet ultra brillant défie une loi de la physique
- Fiches métiers de l'informatique
- L’usine Atos d’Angers va construire le supercalculateur le plus puissant d’Europe
- Un chercheur français repère l'utilisation illégitime de ChatGPT dans des articles
- Mieux Apprendre et Etudier
- Inside the 8086 processor's instruction prefetch circuitry
- RIP: Kathleen Booth, the inventor of assembly language
- Des galaxies distordues remettent en question la théorie de la gravité
- Bac 2022: le mot «ludique» était-il trop compliqué pour des bacs pros ?
- Un gène protégeant des formes graves de la Covid-19 a été identifié !
- Voie lactée : Gaia aurait révélé des bras spiraux fossiles : combien de bras composent la structure spirale de notre galaxie ?
- IBM et la suprématie quantique
-
Covid-19 : les carences alimentaires, facteurs de risques dans les formes graves ?
Coronavirus : un journaliste raconte son traitement à l'hydroxychloroquine :
Le mercredi 16 septembre, médicaments sur la table, Paul peut commencer le traitement : azythromycine une fois par jour pendant cinq jours, hydroxychloroquine trois fois par jour associée à du zinc. Et les effets sont très rapides.
- Espace : une cavité géante découverte dans la Voie lactée
- Et si la première particule d’énergie noire s’était manifestée...
- Les ondes gravitationnelles pourraient démontrer que les trous noirs n'existent pas mais sont des boules de cordes
- On a retrouvé les ancêtres des serpents, 4172 espèces, séquences de 43593 nucléotides (173 Mo): We combined two recently published datasets, one based on 44 genes for 161 species, and one based on 12 genes for 4161 species. Relationships were apparently not obscured by the abundant missing data (92% overall).
- Découverte d'une nouvelle classe d'ARN
- 20 millions d'heures de calculs pour la simulation de l'Univers la plus réaliste jamais réalisée ! (lien initial)
- Intel AlderLake architecture
- COVID-19 : Les Technologies Vaccinales à la loupe (CRIIGEN, Paris-Saclay, Christian Vélot)
- Coronavirus : une étude met en lumière la contribution des utilisateurs via Folding@Home
- The Art of Code
- DIY Perfs : building an invisible PC
- Choisir mon stage (Pays de la Loire)
- The best Mario Kart character according to data science
- 7-habits-of-highly-effective-programmers
- Coding is not fun - it’s technically and ethically complex
- Baisse du QI, appauvrissement du langage