Accéder directement au contenu

Olivier Ridoux

Professor at Université de Rennes
68
Documents
Affiliation actuelle
  • Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA)

Présentation

Ridoux Olivier

Professeur d'informatique à l'université de Rennes 1, section CNU n° 27 Carrière : 1984-1999, chargé de recherche à l'INRIA, puis à partir de 1999, enseignant-chercheur à l'université de Rennes (1)

FORMATION

Formation supérieure à l’université de Rennes 1 Doctorat d’informatique en 1986, HDR en 1999

RESPONSABILITÉS COLLECTIVES

1999-2004 : responsable de la Maîtrise d’informatique de l’IFSIC (devenue 1ère année de Master de l’ISTIC) 2004-2009 : directeur de l'IFSIC (devenu ISTIC en 2011, environ 70 personnels, 1200 étudiants) 2005-2016 : créateur et responsable de l'équipe de recherche LIS (devenue SemLIS en 2016) à l’IRISA 2009-2011 : co-créateur et administrateur provisoire de l'ESIR (environ 35 personnels, 300 étudiants) 2009-2024 : correspondant handicap de l'ESIR puis de l'ISTIC 2011-2018 : responsable des parcours d’innovation de l’ESIR, et plus généralement des enseignements d’Humanités 2015-2019 : responsable du département Data & Knowledge Management de l'IRISA (environ 100 membres, 6 équipes) 2018-2024 : co-responsable du L2 d'informatique de l'ISTIC (environ 200 étudiants) 2019-2021 : créateur et responsable de l'axe transversal Intelligence Artificielle de l'IRISA

SUJETS D’INTÉRÊT (ENSEIGNEMENT, RECHERCHE ET RESPONSABILITÉ SOCIÉTALE)
  • La logique et ses applications : recherche en programmation logique, recherche en systèmes d'information logique, enseignement de la programmation logique (IFSIC/ISTIC).
  • Les systèmes d'information : enseignement en systèmes d’exploitation (IFSIC), enseignement en bases de données (ESIR), enseignement des principes des systèmes informatiques (IFSIC/ISTIC), recherche en systèmes d'information logique.
  • Les systèmes d'information logique : il s'agit d'une approche symbolique aux problèmes de la gestion de l'information, qui utilise la logique pour formaliser la représentation, l'accès, la sélection, la présentation et la mise à jour de l'information. Cette approche est à la fois d'essence théorique et soumise à des expérimentations dans des vrais systèmes et a donné lieu à un transfert industriel. Création et direction de l'équipe LIS (Logic Information Systems).
  • La théorie de la programmation : enseignement en calculabilité et complexité (IFSIC, un livre : Calculateurs, Calculs, Calculabilité -Dunod), enseignement en algorithmique (ESIR), enseignement en théorie des langages (ESIR/ISTIC), enseignement et recherche en compilation (IFSIC/ESIR/ISTIC), enseignement et recherche en programmation logique, enseignement et recherche en génie logiciel (IFSIC/ISTIC).
  • L'épistémologie, l'histoire des sciences et les interactions entre science et société : enseignements au sein des parcours innovation de l'ESIR et en Bac+4 ENS Rennes, révolutions et ruptures en science et en innovation, développement durable, Green IT.
  • Le développement durable et la sobriété : spécialement dans le contexte des technologies de l'information. Enseignement du Green IT à l'IFSIC/ISTIC et à l'ESIR (et d'autres établissements, ex. ENS Rennes, EME et INSA). Membre du GDS EcoInfo du CNRS. Contributeur du rapport Pour une sobriété numérique (Shift Project, 2018). Interventions pour différents publiques, académiques ou non.
  • La situation de handicap dans la société : référent handicap de l'ESIR puis de l'ISTIC, porteur de la formation Handimanager des étudiants de l'ESIR.

Domaines de recherche

Informatique [cs]

Compétences

Programmation (théories de), Logique (applications de), Systèmes d'information, Green IT

Publications

24
23
5
3
1
1
1
1
1
1
1
1
1
1
1
1
1
23
23
13
6
4
3
2
2
1
1

Publications