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.
Liste de pointeurs vers des sujets plus ou moins connexes
Pour avoir accès à un système GNU+Linux dans le navigateur :
Guacamole
qui permet l’accès aux machines de TP de Paris-Nord, et
jslinux, qui est généraliste (et
boot un noyau linux directement dans le navigateur).
Année Universitaire 2023-2024
TD de Structure des Données Avancées, M1 Informatique
Pointeur vers le site du responsable de cours
Olivier Bodini.
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.
TD(D)-TP d’Éléments de programmation en langage C, L1 PC-SPI
Pointeur vers le cours :
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 2023, je co-organise avec
Mathieu Vallée
et Niama Elkhbir les séminaires doctorants au laboratoire.
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.