|
|
|
|
E-mail : ridoux AT irisa.fr
Bâtiment : 12D - Étage Orange - Bureau D169
Systèmes d'exploitation
(Master, jusqu'en 2004)
Principes des systèmes informatiques
(Licence)
Compilation
(Master)
Génie logiciel
(Licence, jusqu'en 2004)
Logique et programmation
(Master)
Calculabilité et complexité
(Licence)
Projet
(Master)
(jusqu'en 2000) Programmation logique - LambdaProlog
: implémentation et applications. Mon habilitation.
Systèmes
d'information logiques
Publications Membre suppléant de la
commission de spécialiste
27ème
de l'Insa de Rennes.
Membre du comité
éditorial de Interstices )i(
.