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

• 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