Page d’Aloÿs Dufour

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 :

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 (via la notion de couverture étale).

Liste de pointeurs vers des sujets connexes

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 : nop.

Références intéressantes :


TP d’Administration Systèmes, L2 Informatique

Pointeur vers le cours : page de Thierry Monteil.

Références intéressantes :


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

Pointeur vers le cours : page de Pierre Rousselin.

Références intéressantes :

Année Universitaire 2021-2022

TP d’Introduction à Unix, L1 Informatique

Pointeur vers le cours : page de Pierre Rousselin.

Références intéressantes :


TD(D)-TP d’Éléments de programmation en langage C, L1 PC-SPI

Pointeur vers le cours :

Références intéressantes :

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.