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 d’une bonne partie 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.

Liste de pointeurs vers des sujets plus ou moins 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 2023-2024

TD de Structure des Données Avancées, M1 Informatique

Pointeur vers le site du responsable de cours Olivier Bodini.

Références intéressantes :


TD-TP d’Algorithmique de Graphes, L3 Informatique

Pointeur vers le site du responsable de cours Frédéric Roupin.

Références intéressantes : le Cormen.

Année Universitaire 2022-2023

TP d’Architecture et Systèmes, L2 Informatique

Pointeur vers le cours : moodle.

Références intéressantes :


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èmes 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 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.

Dernière màj : 2023-11-21 21:41:45 (CET).