Mes domaines d’intérêts sont notamment : la Théorie des catégories, la
logique et le λ-calcul, la géométrie algébrique & la topologie algébrique,
la combinatoire (algébrique, oui, il y a un pattern).
Ma thèse, Vers une théorie générale des
approximations dans les langages de programmation est à la croisée
d’un certain nombre de ces centres d’intérêts.
Exposés et événements publiques
En construction.
FSCD’24 (Tallinn, Estonie)
— Böhm and Taylor for All! (slides?),
Rencontres CHoCoLa (ÉNS,
Lyon, France) en 2024: 14/03, et le 27/06
— Böhm and Taylor for All! (slides?),
installer une distrib’ linux, bye bye le reste, penser à faire des
sauvegardes de ses données personnelles évidemment, faire au
moins deux partitions : une pour le système (/) et
une pour le répertoire personnel (/home) facilitant
la
(ré)installation
d’autres systèmes/distrib’ ;
PC random seconde main (boncoin, backmarket), + coreboot de chromebooks
[1,
2,
3] ;
installer une distrib’ linux sur clef USB ou carte {,micro}SD, plus safe
que dualboot, mais plus lent (selon qualité de la clef ou
carte) ;
micro PC pas cher genre raspberry π
(nécessite écran et clavier en plus), peut servir de serveur ;
changer de disque dur interne entre l’un sur linux et autres ;
jslinux, qui permet de
temporairement booter une Alpine Linux dans le navigateur ;
Exemples d’automates : dans la RFC
793, ou faire une calculatrice sur un corps fini 𝔽,
Exemples de grammaires : notation ABNF de la RFC 793,
[Prusinkiewicz-Lindenmayer] sur comment faire pousser des
plantes avec de la grammaire
(L-systèmes).
Systèmes d’Exploitation, CM+TD+TP, Sup’ Galilée Info 1
Pointeur vers le site du responsable de cours : ici (c’est moi)
Références intéressantes :
le cours (à surveiller, évoluera
d’une séance dans l’autre),
CollapseOS, système d’exploitation initialement
écrit en assembleur, puis en
Forth,
Un
article d’Ars Technica sur l’historique d’ARM, incluant
quelques explications du lien entre portes logiques et programmation,
assembleurs et instructions.
Pointeur vers le cours : mirroir du site sur le site LIPN de
Thierry Monteil.
Références intéressantes : voir le wiki du cours, ainsi que ceux d’Alpine Linux,
et d’Arch Linux.
↑ Systèmes et Réseaux, TP, L2 Informatique
Année Universitaire 2021-2022
↑ Introduction à Unix, TP, L1 Informatique
Éléments de programmation en langage C, TD(D)+TP, L1 PC-SPI
Pointeur vers le cours : nop.
Références intéressantes :
le [K&R]
évidemment, référence incontestée depuis 1978 pour la
programmation C généraliste,
le cours de Langage
C de Patrick Corde, donné à l’IDRIS (Paris-Sud), orienté
calcul scientifique (sur supercalculateurs, cf. les cours de
parallélisation sur leur site),
le compilateur TCC (tiny C
compiler), écrit en C, plus petit et plus rapide que GCC ou
CLANG, et permettant de faire des scripts en C,
De septembre 2023 à septembre 2025, j’organisais les séminaires doctorants au
laboratoire, initialement avec
Mathieu Vallée
et Niama Elkhbir, puis
avec Jad Koleilat.
J’ai commencé à tenir, mi-2022, un annuaire des liens utiles des différentes
plateformes de l’université, cela a dérivé en page de
documentation à l’attention des collègues, entre autres doctorant·es.
De octobre 2021 à novembre 2023, j’étais représentant du personnel
non-permanent du LIPN.
Si vous êtes personnel non-permanent et que vous avez quelques remarques ou
problèmes à faire remonter au conseil de laboratoire, vous pouvez contacter un·e
des deux représentant·e : Jad Koleilat et Hugo
Attali.