Olivier Ridoux
- 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
Compétences
Publications
Publications
|
|
ICT within limits compared with fisheries within limitsUndone Computer Science, Université de Nantes, Inria, and LORIA Université de Lorraine, Feb 2024, Nantes (France), France
Communication dans un congrès
hal-04867654
v1
|
|
|
Extraction dans des textes anciens d'entités nommées de type binômes de la classification linnéenne du vivant : une étude de cas23ème conférence francophone sur l'Extraction et la Gestion des Connaissances (EGC), Jan 2023, Lyon, France
Communication dans un congrès
hal-04447919
v1
|
Table ronde : L’innovation comme solutionJournées Scientifiques de l'Environnement, Mar 2022, Créteil (France), France
Communication dans un congrès
hal-04048147
v1
|
|
|
|
How to Integrate Environmental Challenges in Computing Curricula?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-03606210
v1
|
|
|
Exploration des Données du Défi EGC 2016 à l'aide d'un Système d'Information Logique16ème conférence francophone sur l'Extraction et la Gestion des Connaissances (EGC 2016), Jan 2016, Reims, France
Communication dans un congrès
hal-01253026
v1
|
Segmentation of Geolocalized Trajectories using Exponential Moving AverageColloque Africain sur la Recherche en Informatique et Mathématiques Appliquées (CARI), Oct 2014, Saint Louis, Senegal
Communication dans un congrès
hal-01119534
v1
|
|
|
|
Cubes of Concepts: Multi-dimensional Exploration of Multi-valued ContextsInt. Conf. Formal Concept Analysis, May 2012, Leuven, Belgium. pp.112-127
Communication dans un congrès
hal-00779957
v1
|
Multiple Fault Localization with Data MiningInternational Conference on Software Engineering & Knowledge Engineering (SEKE), Jul 2011, Miami, United States
Communication dans un congrès
hal-01119562
v1
|
|
|
|
Discovering Functional Dependencies and Association Rules by Navigating in a Lattice of OLAP ViewsConcept Lattices and Their Applications, Oct 2010, Sevilla, Spain. pp.199-210
Communication dans un congrès
inria-00549856
v1
|
DeLLIS: A Data Mining Process for Fault LocalizationInternational Conference on Software Engineering and Knowledge Engineering (SEKE), Jul 2009, Boston, United States
Communication dans un congrès
hal-01119579
v1
|
|
|
|
Handling Spatial Relations in Logical Concept Analysis To Explore Geographical DataInt. Conf. Formal Concept Analysis, 2008, Montreal, Canada. pp.241--257
Communication dans un congrès
inria-00363592
v1
|
|
|
Formal Concept analysis enhances Fault Localization in SoftwareInt. Conf. Formal Concept Analysis, 2008, Montreal, Canada. pp.273--288
Communication dans un congrès
inria-00363593
v1
|
|
|
Exploring a Geographical Dataset with GEOLISDEXA Work. Advances in Conceptual Knowledge Engineering (ACKE), 2007, Regensburg, Germany. pp.540--544
Communication dans un congrès
inria-00363605
v1
|
|
|
Logical Information Systems: from Taxonomies to LogicsDEXA Work. Dynamic Taxonomies and Faceted Search (FIND), 2007, Regensburg, Germany. pp.212--216
Communication dans un congrès
inria-00363607
v1
|
|
|
A Parameterized Algorithm for Exploring Concept LatticesInt. Conf. Formal Concept Analysis, Feb 2007, France. pp.114--129
Communication dans un congrès
hal-00180601
v1
|
|
|
GEOLIS: A Logical Information System for Geographical DataInternational Conference on Spatial Analysis and GEOmatics - SAGEO 2006, WEBER Christiane, GANCARSKI Pierre, Sep 2006, Strasbourg, France
Communication dans un congrès
inria-00187048
v1
|
An Algorithm to Find Frequent Concepts of a Formal Context with TaxonomyInternational Conference on Concept Lattices and Their Applications, Oct 2006, Hammamet, Tunisia
Communication dans un congrès
hal-01119634
v1
|
|
|
|
A Parts-of-file File SystemUSENIX 2005 Annual Technical Conference, General Track, Apr 2005, Anaheim, CA, United States
Communication dans un congrès
hal-03214500
v1
|
Data mining and cross-checking of execution traces. A re-interpretation of Jones, Harrold and Stasko test information visualizationInternational Conference on Automated Software Engineering, 2005, Long Beach, United States
Communication dans un congrès
hal-00756834
v1
|
|
|
|
Logical Approach to Natural Language Understanding in a Spoken Dialogue System7th International Conference on Text, Speech and Dialogue, Sep 2004, Brno, Czech Republic. pp.637-644
Communication dans un congrès
hal-00484116
v1
|
|
|
A Logic File SystemUSENIX 2003 Annual Technical Conference, General Track, Sep 2003, San Antonio, TX, United States
Communication dans un congrès
hal-03214497
v1
|
|
|
Data Mining‐Based Techniques for Software Fault LocalizationHandbook 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-04403506
v1
|
|
|
The Art of Picopoly2021
Pré-publication, Document de travail
hal-03155296
v1
|
|
|
Manifeste: Pour plus d'Interactions entre Informatique, Sciences Humaines et Sociales et ArtsScience 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-01230651
v1
|
Fouille de données pour la localisation de fautes dans les programmes2010
Autre publication scientifique
hal-01016775
v1
|