Le sujet de ma thèse, La Géométrie des Approximations dans les
Langages de Programmation, est à la croisée d’une bonne partie de
mes domaines d’intérêts :
Théorie des catégories,
λ-calcul,
Sémantique (catégorique),
Systèmes de types (intersection principalement, types dépendants
peut-être),
Logique linéaire,
Géométrie algébrique & théorie de l’homotopie (dans une moindre
mesure),
et consiste à trouver un contexte catégorique commun aux approximations de
programmes et aux évaluations de programmes, ainsi qu’à donner une explication
géométrique claire des approximations de programmes.
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)
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,
Depuis septembre 2024, j’organise les midi de la pédagogie au laboratoire,
pour pouvoir discuter entre collègues de nos méthodes d’enseignement, échanger
du matériel de CM/TD/TP, réfléchir sur les évaluations, le tout par thème
d’enseignements (programmation (très langage-dépendant), algorithmique,
complexité, calculabilité-décidabilité, unix, réseau, …).
Depuis septembre 2023, je co-organise les séminaires doctorants au
laboratoire, initialement avec
Mathieu Vallée
et Niama Elkhbir, et maintenant 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 : Mathieu Vallée et Hugo Attali.