Page d’Aloÿs Dufour

Doctorant de l’équipe LoVe du LIPN (UMR 7030) depuis octobre 2021, sous la direction de Damiano Mazza.
Contact : (prenom.) nom [at] lipn (.univ-paris13) .fr

Recherche

Le sujet de ma thèse, La Géométrie des Approximations dans les Langages de Programmation, est à la croisée 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 connexes

[nlab] Relation entre théorie des types et théorie des catégories,
le polycopié d’Introduction à la théorie des catégories d’un point de vue d’informaticien de Pierre-Louis Curien,
de manière générale, la page de Pierre-Louis Curien,
le polycopié de Logique Catégorique d’Alain Prouté,
de manière générale, la page d’Alain Prouté,
les foncteurs comme systèmes de types, de Paul-André Melliès et Noam Zeilberger,
le polycopié de sémantique catégorique de la logique linéaire, de Paul-André Melliès,
de manière générale, la page de Paul-André Melliès,
l’art du co/fin-fu, par Fosco Loregian.

Enseignements

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 2022-2023

TP d’Architecture et Systèmes, L2 Informatique

Pointeur vers le cours : moodle.

Références intéressantes :

Spécifications pour LC-3 (en anglais),
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.
Branch Predictor, petit article sur le coût des branchements.

TP d’Administration Systèmes, L2 Informatique

Pointeur vers le cours : mirroir du site sur le site LIPN de Thierry Monteil.

Références intéressantes : voir le wiki du cours.

TP de Système et Réseaux, L2 Informatique

Pointeur vers le cours : page de Pierre Rousselin.

Références intéressantes :

,
pour mettre correctement en forme son code, il est recommandé de lire le style de code du noyau Linux, ou celui d’OpenBSD.
l’étape après l’écriture de protocoles, c’est la vérification formelle des protocoles : un cours sur le sujet et la section de vulgarisation du site de Véronique Cortier.

Année Universitaire 2021-2022

TP d’Introduction à Unix, L1 Informatique

Pointeur vers le cours : page de Pierre Rousselin.

Références intéressantes :

le Guide Unix de Mark Burgess,
la pure-sh-bible, recueil de techniques et d’exemples de POSIX shell scripts et fonctions (de manière générale, les projets connus de Dylan Araps),
le programme dmenu, très pratique pour faire des petits scripts shell interactifs et utiles (voire la section d’exemples de scripts sur ladite page),
pour avoir des couleurs dans less et man, rajouter ces quelques lignes dans votre ~/.bashrc,
pour les vimistes : un tuto rapide mais avancé, un vimrc minimal, et un site francophone de vimistes.

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,
pour mettre correctement en forme son code, il est recommandé de lire le style de code du noyau Linux.

Administratif

Depuis octobre 2021, et pour 2 ans, je suis 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 : Daria Pchelina et moi-même.