Référent handicap ESIR
Responsable département D7 - Gestion des données et de la connaissance

Bureau : D272 vert, IRISA
Téléphone : 02 99 84 73 30 (à utiliser avec parcimonie)
E-mail : olivier.ridoux@irisa.fr (à utiliser avec ménagement)
 
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
________________________________________________________________________
CURRICULUM VITAE
 
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)
 
2009-2011 : administrateur provisoire de l'ESIR
 
2005-2016 : responsable de l'équipe de recherche LIS (devenue SemLIS en 2016) à l’IRISA
 
2011-… : responsable des parcours d’innovation de l’ESIR, et plus généralement des enseignements d’Humanités
 
2015-… : responsable du département DKM (Data and Knowledge Management) de l’IRISA
 
SUJETS D’INTÉRÊT (ENSEIGNEMENT ET RECHERCHE)
 
La logique et ses applications : recherche en programmation logique (1981-2001), recherche en systèmes d'information logique (2001-...), enseignement de la programmation logique.
 
Les systèmes d'information : enseignement en systèmes d’exploitation (1ère année de Master IFSIC, jusqu’en 2004), enseignement en bases de données (1ère année d'ESIR), enseignement de principes des systèmes d'information (1ère année de Licence d'informatique), recherche en systèmes d'information logique.
 
La théorie de la programmation : enseignement en calculabilité et complexité (2ème année de Licence d'informatique, un livre), enseignement en algorithmique (1ère année de l’ESIR), enseignement en théorie des langages formels (2ème année d'ESIR), enseignement en compilation (1ère année de Master IFSIC, puis 2ème année d'ESIR), enseignement et recherche en programmation logique.
 
L'épistémologie, l'histoire des sciences et les interactions entre science et société : enseignements au sein des parcours innovation de l'ESIR, révolutions et ruptures en science et en innovation, développement durable, Green IT.
 
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 (équipe SemLIS).
 
 
PRINCIPALES PUBLICATIONS
 
Voir DBLP ou ArnetMiner