|
|
|
|
E-mail: ridoux AT irisa.fr
Building: 12D - 1st floor (Orange) - Room D169
Operating Systems
(Master, until 2004)
Information Systems
(Licence) Compilers
(Master)
Software engineering
(Licence, until 2004) Logic and Programming
(Master) Computability and complexity
(Licence)
Calculabilité et complexité
(Licence)
Logic
programming - LambdaProlog
: implementation and applications. My "Habilitation".
Logical
Information Systems
Publications
Member
of several committees at University,
at Irisa, and at Inria .
Member
of the editorial board of Interstices
)i( .