Portfolio item number 1
Short description of portfolio item number 1
Posts by Collection
portfolio
Portfolio item number 2
Short description of portfolio item number 2
publications
talks
Progress presentation
Published:
Presentation to the rest of the team during the team’s annual seminar
Characterizing complexity classes with boolean theories extensions
Published:
Presentation during the annual meeting of the SCALP group Slides
Characterizing complexity classes with categorical logic
Published:
Presentation during the complexity days Slides
An introduction to descriptive complexity
Published:
Presentation at the IHPST Slides
teaching
Spécification Algébrique et Tests Logiciels
Licence 2, Université Sorbonne Paris Nord, Département d'informatique, 2022
Responsable du cours : Pierre Rousselin Volume horaire : 18h de TD
Logique
Licence 1, Université Sorbonne Paris Nord, Département d'informatique, 2023
Responsable du cours : Marie Kerjean Volume horaire : 18h de TD
Principe de la programmation
Licence 3, Université Sorbonne Paris Nord, Département d'informatique, 2023
Responsable du cours : Joseph Le Roux Volume horaire : 19.5h de TP + 6h de TD
Algorithmique des graphes
Licence 3, Université Sorbonne Paris Nord, Département d'informatique, 2023
Responsable du cours : Frédérique Roupin Volume horaire : 19.5h de TP
Administration système
Licence 2, Université Sorbonne Paris Nord, Département d'informatique, 2024
Responsable du cours : Thierry Monteil Volume horaire : 30h de TP
Logique
Licence 1, Université Sorbonne Paris Nord, Département d'informatique, 2024
Responsable du cours : Sergueï Lenglet Volume horaire : 18h de TD
Spécification Algébrique et Tests Logiciels
Licence 2, Université Sorbonne Paris Nord, Département d'informatique, 2024
Responsable du cours : Flavien Breuvart Volume horaire : 16.5h de TD
Administration système
Licence 2, Université Sorbonne Paris Nord, Département d'informatique, 2025
Responsable du cours : Thierry Monteil Volume horaire : 30h de TP
Calculabilité et décidabilité
Licence 3, Université Sorbonne Paris Nord, Département d'informatique, 2025
Responsable du cours : Christian Codognet Volume horaire : 19.5h de TD