Enseignant-Chercheur en <informatique/>
Université de Haute-Alsace
"Le typage fort, c'est comme une ceinture de sécurité :
ça sauve des vies."
AKA le gars qui fait des monades en OCaml, du LISP en C,
du ML en Python, et du OWL le dimanche.
Laurent Thiry est enseignant-chercheur en informatique à l'Université
de Haute-Alsace. Ses recherches portent sur les modèles de données,
la théorie des catégories, le web sémantique
et les ontologies. Côté pédagogie, il enseigne tout ce qui touche
au code : de la programmation fonctionnelle en OCaml à l'intelligence artificielle
en Python, en passant par le C — parce qu'un informaticien complet, ça sait
faire une segfault dans au moins trois langages différents.
Devise : "Un programme qui compile a de bonnes chances d'être correct. Un programme qui tourne a de bonnes chances d'être faux jusqu'à 3h du matin."
Monades, typage fort, et un respect absolu pour la récursion terminale
« De zéro à λ en C » — on a construit un langage. Avec des pointeurs.
Du perceptron au MLP, sans frameworks, parce que le vrai pouvoir c'est de comprendre
TF-IDF → Prolog → OWL → SPARQL. Du .split() aux ontologies.
OCaml, récursion, map/filter/fold, monades, parseurs. Le typage fort rend les nuits plus paisibles.
🔧Construction d'un langage LISP complet en C : VM, parseur, closures, FFI. Le C, c'est le couteau suisse du programmeur.
🧠Régression, k-NN, k-means, Perceptron, MLP. Tout from scratch, puis scikit-learn. Parce qu'on ne triche pas.
🍌Tokenisation, TF-IDF, embeddings, Prolog, Turtle, OWL, SPARQL. Un cours pas comme les autres. Avec des bananes.
« Un programme Python qui tourne a de bonnes chances d'être faux jusqu'à 3h du matin. »
Ses travaux explorent l'intersection entre modèles formels, données massives et représentation de la connaissance. Les chats savants apprécient particulièrement ses papiers sur la théorie des catégories, qui donnent enfin une utilité aux diagrammes commutatifs.
Modèles catégoriques pour les données massives et l'optimisation.
Réécriture de graphes algébriques pour formaliser les changements ontologiques.
Catégories pour l'optimisation et la modélisation sémantique des données.
OCaml, Haskell, monades — la récursion, pas la guerre
Foncteurs, monades, et autres trucs qui font fuir les gens en soirée
Construire des parseurs le matin, des VM l'après-midi
Du perceptron de 1957 aux transformers, sans boîte noire
OWL, SPARQL, et la quête du graphe de connaissance universel
Blagues de dev, memes et CHAT — parce qu'apprendre peut être drôle
Makefile, Python, OCaml, et une foi inébranlable en la CLI
Métrique principale de productivité. O(n²) sans, O(n log n) avec.
« En informatique, il y a trois choses difficiles : la gestion du cache, l'off-by-one error, et expliquer la théorie des catégories à un développeur Java. »
« Le C, c'est comme un couteau suisse : efficace, polyvalent, et vous pouvez vous couper si vous ne faites pas attention. »
« Python, c'est le couteau suisse du développeur : ça coupe, ça visse, ça fait du machine learning, et ça peut même faire du café si vous écrivez le bon script. »
« Un voyage de mille lieues commence par un premier pas. Et souvent, ce premier pas, c'est pip install scikit-learn. »
« Les monades peuvent provoquer des maux de tête persistants. La responsabilité de l'auteur n'est pas engagée. »