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

Deposit thumbnail

ICT within limits compared with fisheries within limits

Olivier Ridoux

Undone Computer Science, Université de Nantes, Inria, and LORIA Université de Lorraine, Feb 2024, Nantes (France), France

Communication dans un congrès hal-04867654v1
Deposit thumbnail

Extraction dans des textes anciens d'entités nommées de type binômes de la classification linnéenne du vivant : une étude de cas

Olivier Ridoux , Clément Morand

23ème conférence francophone sur l'Extraction et la Gestion des Connaissances (EGC), Jan 2023, Lyon, France

Communication dans un congrès hal-04447919v1
Deposit thumbnail

How to Integrate Environmental Challenges in Computing Curricula?

Anne-Laure Ligozat , Kevin Marquet , Aurélie Bugeau , Julien Lefèvre , Pierre Boulet et al.

SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, Mar 2022, Providence, United States. pp.899-905, ⟨10.1145/3478431.3499280⟩

Communication dans un congrès hal-03606210v1

Table ronde : L’innovation comme solution

Olivier Ridoux

Journées Scientifiques de l'Environnement, Mar 2022, Créteil (France), France

Communication dans un congrès hal-04048147v1
Deposit thumbnail

Exploration des Données du Défi EGC 2016 à l'aide d'un Système d'Information Logique

Peggy Cellier , Sébastien Ferré , Annie Foret , Olivier Ridoux

16ème conférence francophone sur l'Extraction et la Gestion des Connaissances (EGC 2016), Jan 2016, Reims, France

Communication dans un congrès hal-01253026v1

Segmentation of Geolocalized Trajectories using Exponential Moving Average

Soda Cissé , Peggy Cellier , Olivier Ridoux

Colloque Africain sur la Recherche en Informatique et Mathématiques Appliquées (CARI), Oct 2014, Saint Louis, Senegal

Communication dans un congrès hal-01119534v1
Deposit thumbnail

Cubes of Concepts: Multi-dimensional Exploration of Multi-valued Contexts

Sébastien Ferré , Pierre Allard , Olivier Ridoux

Int. Conf. Formal Concept Analysis, May 2012, Leuven, Belgium. pp.112-127

Communication dans un congrès hal-00779957v1

Multiple Fault Localization with Data Mining

Peggy Cellier , Mireille Ducassé , Sébastien Ferré , Olivier Ridoux

International Conference on Software Engineering & Knowledge Engineering (SEKE), Jul 2011, Miami, United States

Communication dans un congrès hal-01119562v1
Deposit thumbnail

Discovering Functional Dependencies and Association Rules by Navigating in a Lattice of OLAP Views

Pierre Allard , Sébastien Ferré , Olivier Ridoux

Concept Lattices and Their Applications, Oct 2010, Sevilla, Spain. pp.199-210

Communication dans un congrès inria-00549856v1

DeLLIS: A Data Mining Process for Fault Localization

Peggy Cellier , Mireille Ducassé , Sébastien Ferré , Olivier Ridoux

International Conference on Software Engineering and Knowledge Engineering (SEKE), Jul 2009, Boston, United States

Communication dans un congrès hal-01119579v1
Deposit thumbnail

Formal Concept analysis enhances Fault Localization in Software

Peggy Cellier , Mireille Ducassé , Sébastien Ferré , Olivier Ridoux

Int. Conf. Formal Concept Analysis, 2008, Montreal, Canada. pp.273--288

Communication dans un congrès inria-00363593v1
Deposit thumbnail

Handling Spatial Relations in Logical Concept Analysis To Explore Geographical Data

Olivier Bedel , Sébastien Ferré , Olivier Ridoux

Int. Conf. Formal Concept Analysis, 2008, Montreal, Canada. pp.241--257

Communication dans un congrès inria-00363592v1
Deposit thumbnail

Logical Information Systems: from Taxonomies to Logics

Sébastien Ferré , Olivier Ridoux

DEXA Work. Dynamic Taxonomies and Faceted Search (FIND), 2007, Regensburg, Germany. pp.212--216

Communication dans un congrès inria-00363607v1
Deposit thumbnail

A Parameterized Algorithm for Exploring Concept Lattices

Peggy Cellier , Sébastien Ferré , Olivier Ridoux , Mireille Ducassé

Int. Conf. Formal Concept Analysis, Feb 2007, France. pp.114--129

Communication dans un congrès hal-00180601v1
Deposit thumbnail

Exploring a Geographical Dataset with GEOLIS

Olivier Bedel , Sébastien Ferré , Olivier Ridoux , Erwan Quesseveur

DEXA Work. Advances in Conceptual Knowledge Engineering (ACKE), 2007, Regensburg, Germany. pp.540--544

Communication dans un congrès inria-00363605v1
Deposit thumbnail

GEOLIS: A Logical Information System for Geographical Data

Olivier Bedel , Sébastien Ferré , Olivier Ridoux , Erwan Quesseveur

International Conference on Spatial Analysis and GEOmatics - SAGEO 2006, WEBER Christiane, GANCARSKI Pierre, Sep 2006, Strasbourg, France

Communication dans un congrès inria-00187048v1

An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy

Peggy Cellier , Sébastien Ferré , Olivier Ridoux , Mireille Ducassé

International Conference on Concept Lattices and Their Applications, Oct 2006, Hammamet, Tunisia

Communication dans un congrès hal-01119634v1

Data mining and cross-checking of execution traces. A re-interpretation of Jones, Harrold and Stasko test information visualization

Tristan Denmat , Mireille Ducassé , Olivier Ridoux

International Conference on Automated Software Engineering, 2005, Long Beach, United States

Communication dans un congrès hal-00756834v1
Deposit thumbnail

A Parts-of-file File System

Yoann Padioleau , Olivier Ridoux

USENIX 2005 Annual Technical Conference, General Track, Apr 2005, Anaheim, CA, United States

Communication dans un congrès hal-03214500v1
Deposit thumbnail

Logical Approach to Natural Language Understanding in a Spoken Dialogue System

Jeanne Villaneau , Jean-Yves Antoine , Olivier Ridoux

7th International Conference on Text, Speech and Dialogue, Sep 2004, Brno, Czech Republic. pp.637-644

Communication dans un congrès hal-00484116v1
Deposit thumbnail

A Logic File System

Yoann Padioleau , Olivier Ridoux

USENIX 2003 Annual Technical Conference, General Track, Sep 2003, San Antonio, TX, United States

Communication dans un congrès hal-03214497v1

Reconnaître les noms binomiaux des espèces biologiques dans un corpus ancien

Clément Morand , Olivier Ridoux

Interstices, 2023

Article dans une revue hal-04231214v1

A Parameterized Algorithm to Explore Formal Contexts with a Taxonomy

Peggy Cellier , Mireille Ducassé , Sébastien Ferré , Olivier Ridoux

International Journal of Foundations of Computer Science, 2008, 19 (2), pp.319--343

Article dans une revue inria-00363594v1
Deposit thumbnail

GEOLIS: A Logical Information System for Geographical Data

Olivier Bedel , Sébastien Ferré , Olivier Ridoux , Erwan Quesseveur

Revue Internationale de Géomatique, 2008, 17 (3-4), pp.371-390

Article dans une revue inria-00363600v1

Variabilité, limite, stabilité en informatique

Olivier Ridoux

Interstices, 2007

Article dans une revue hal-01350426v1

À propos de dualités en sciences et technologies de l'information et de la communication

Olivier Ridoux , Thierry Viéville

Interstices, 2005

Article dans une revue inria-00000457v1
Deposit thumbnail

Introduction to logical information systems

S. Ferré , Olivier Ridoux

Information Processing and Management, 2004, 40 (3), pp.383-419. ⟨10.1016/S0306-4573(03)00018-9⟩

Article dans une revue hal-04447896v1
Deposit thumbnail

Verification by Testing for Recursive Program Schemes

Daniel Le Métayer , Valérie-Anne Nicolas , Olivier Ridoux

Lecture Notes in Computer Science, 2000, 1817 (Logic-Based Program Synthesis and Transformation, 9th International Workshop, LOPSTR'99, Selected Pa), pp.255-272. ⟨10.1007/10720327_15⟩

Article dans une revue hal-00783194v1

A pragmatic reconstruction of Lambda-Prolog

Catherine Belleannee , Pascal Brisset , Olivier Ridoux

Journal of Logic Programming, 1999, 41 (1), pp 67-102. ⟨10.1016/S0743-1066(98)10038-9⟩

Article dans une revue hal-00934033v1
Deposit thumbnail

Programs, Properties, and Data: Exploring the Software Development Trilogy

Daniel Le Métayer , Valérie-Anne Nicolas , Olivier Ridoux

IEEE Software, 1998, 15 (6), pp.75-81. ⟨10.1109/52.730849⟩

Article dans une revue hal-00783203v1
Deposit thumbnail

Data Mining‐Based Techniques for Software Fault Localization

Peggy Cellier , Mireille Ducassé , Sébastien Ferré , Olivier Ridoux , W. Eric Wong

Handbook of Software Fault Localization, 1, Wiley, Chapitre 7, 2023, Handbook of Software Fault Localization: Foundations and Advances, 9781119291824. ⟨10.1002/9781119880929.ch7⟩

Chapitre d'ouvrage hal-04403506v1
Deposit thumbnail

The Art of Picopoly

Olivier Ridoux

2021

Pré-publication, Document de travail hal-03155296v1
Deposit thumbnail

Référentiel de connaissances pour un numérique éco-responsable

Pierre Boulet , Sylvain Bouveret , Aurélie Bugeau , Frenoux Emmanuelle , Julien Lefevre et al.

[Rapport de recherche] EcoInfo. 2020

Rapport (rapport de recherche) hal-02954188v1
Deposit thumbnail

Data Mining for Fault Localization: towards a Global Debugging Process

Peggy Cellier , Mireille Ducassé , Sébastien Ferré , Olivier Ridoux

[Research Report] INSA RENNES; Univ Rennes, CNRS, IRISA, France. 2018

Rapport (rapport de recherche) hal-02003069v1
Deposit thumbnail

Logic Functors: A Toolbox of Components for Building Customized and Embeddable Logics

Sébastien Ferré , Olivier Ridoux

[Research Report] RR-5871, INRIA. 2006, pp.103

Rapport (rapport de recherche) inria-00070155v1
Deposit thumbnail

Data Mining and Cross-checking of Execution Traces: A re-interpretation of Jones, Harrold and Stasko test information visualization (Long version)

Tristan Denmat , Mireille Ducassé , Olivier Ridoux

[Research Report] PI 1743, 2005, pp.21

Rapport (rapport de recherche) inria-00000566v1
Deposit thumbnail

Data Mining and Cross-checking of Execution Traces : A re-intepretation of Jones, Harrold and Stasko test information visualization (Long version)

Tristan Denmat , Mireille Ducassé , Olivier Ridoux

[Research Report] RR-5661, INRIA. 2005, pp.21

Rapport (rapport de recherche) inria-00070347v1
Deposit thumbnail

The Parts-of-file File System

Yoann Padioleau , Olivier Ridoux

[Research Report] RR-4783, INRIA. 2003

Rapport (rapport de recherche) inria-00071803v1
Deposit thumbnail

Logic Functors : a Framework for Developing Embeddable Customized Logics

Sébastien Ferré , Olivier Ridoux

[Research Report] RR-4457, INRIA. 2002

Rapport (rapport de recherche) inria-00072131v1
Deposit thumbnail

Introduction to Logical Information Systems

Sébastien Ferré , Olivier Ridoux

[Research Report] RR-4540, INRIA. 2002

Rapport (rapport de recherche) inria-00072048v1
Deposit thumbnail

A Logic File System

Yoann Padioleau , Olivier Ridoux

[Research Report] RR-4656, INRIA. 2002

Rapport (rapport de recherche) inria-00071929v1
Deposit thumbnail

A File System Based on Concept Analysis

Sébastien Ferré , Olivier Ridoux

[Research Report] RR-3942, INRIA. 2000

Rapport (rapport de recherche) inria-00072708v1
Deposit thumbnail

Une généralisation logique de l'analyse de concepts formels

Sébastien Ferré , Olivier Ridoux

[Rapport de recherche] RR-3820, INRIA. 1999

Rapport (rapport de recherche) inria-00072838v1
Deposit thumbnail

A Pragmatic Reconstruction of LambdaProlog

Catherine Belleannée , Pascal Brisset , Olivier Ridoux

[Research Report] RR-2390, INRIA. 1994

Rapport (rapport de recherche) inria-00074285v1
Deposit thumbnail

Imagining CLP (Lambda, alphabeta)

Olivier Ridoux

[Research Report] RR-2388, INRIA. 1994

Rapport (rapport de recherche) inria-00074287v1
Deposit thumbnail

The Architecture of an Implementation of LambdaProlog: Prolog/Mali

Pascal Brisset , Olivier Ridoux

[Research Report] RR-2392, INRIA. 1994

Rapport (rapport de recherche) inria-00074283v1
Deposit thumbnail

On the use of advanced logic programming languages

Solange Coupet-Grimal , Olivier Ridoux

[Research Report] RR-2391, INRIA. 1994

Rapport (rapport de recherche) inria-00074284v1
Deposit thumbnail

The Compilation of lambdaProlog and its execution with MALI

Pascal Brisset , Olivier Ridoux

[Research Report] RR-1831, INRIA. 1993

Rapport (rapport de recherche) inria-00074841v1
Deposit thumbnail

Programming with MALI -unification or ordered types

Olivier Ridoux

[Research Report] RR-1058, INRIA. 1989

Rapport (rapport de recherche) inria-00075501v1
Deposit thumbnail

Programming with MALI. The interpretation of Prolog programs

Louis Chevallier , Serge Le Huitouze , Olivier Ridoux

[Research Report] RR-1048, INRIA. 1989

Rapport (rapport de recherche) inria-00075511v1
Deposit thumbnail

Présentation simplifiée d'une machine de gestion de mémoire pour les interpréteurs Prolog

Yves Bekkers , Bernard Canet , Olivier Ridoux , Lucien Ungaro

[Rapport de recherche] RR-0280, INRIA. 1984

Rapport (rapport de recherche) inria-00076278v1
Deposit thumbnail

Spécification d'une machine de gestion mémoire pour les interpréteurs des langages logiques.Version 1 (provisoire)

Yves Bekkers , Bernard Canet , Olivier Ridoux , Lucien Ungaro

[Rapport de recherche] RR-0283, INRIA. 1984

Rapport (rapport de recherche) inria-00076275v1
Deposit thumbnail

Manifeste: Pour plus d'Interactions entre Informatique, Sciences Humaines et Sociales et Arts

Guillaume Aucher , Olivier Ridoux

Science des données et sciences humaines et sociales : atelier 4 du Data Science Symposium, Nov 2015, Rennes, France. , pp.6, 2015

Document associé à des manifestations scientifiques hal-01230651v1