Research interests

  • knowledge representation and reasoning
  • description logics and ontology languages
  • automated reasoning
  • SAT solving
  • CSP - constraint satisfaction problems
  • database theory
  • semistructured and graph-structured data
  • finite model reasoning
  • non-relational data models
  • logics and automata over infinite objects
  • incomplete and inconsistent information
  • query answering and static analysis

Related ongoing projects

EXPAND: Expanding the Reach of Ontology-Based Data Access: EXpressivity, exPlanation and Algorithms

ANR project involving the labs LIMOS, CRIStAL, LIRMM, ENS Ulm, INRIA, IRISA, IATE, LaBRI. Local members: Meghyn Bienvenu (local lead) and Diego Figueira. 2026-2030

INTENDED: Intelligent handling of imperfect information

ANR Chair in Artificial Intelligence led by Meghyn Bienvenu, involving Diego Figueira and Gianluca Cima. 2020-2026

QUID: Efficient Querying for Incomplete and Inconsistent Data

ANR project involving the labs LIGM, ENS Ulm, and IRIF. Local members: Diego Figueira (local lead) and Joanna Fijalkow. 2019-2023

CQFD: Requêtes Ontologiques Complexes sur des Fédérations de Données Hétérogènese

ANR project joint with joint with 7 labs involving involving Meghyn Bienvenu (local lead) and Quentin Manière. 2019-2023

PING/ACK: Preprocessing Information for Nontrivial Goals / Advanced Compilation of Knowledge

ANR project joint with CRIL, GREYC, and IRIT, involving Laurent Simon and Rohan Fossé. 2019-2023

News highlights

Who are we?

MB

Meghyn Bienvenu

DR CNRS

DF

Diego Figueira

DR CNRS
(head)

RJ

Robin Jean

PhD Student

PL

Pierre Lafourcade

PhD Student

PL

Ahmed Laouar

Postdoc

SL

Sylvain Lombardy

PR Bordeaux INP

SM

Sofian Maabout

MCF Univ Bordeaux

JO

Joanna Fijalkow

CR CNRS
(deputy head)

RM

Vincent Michielini

Postdoctoral fellow

VP

Vincent Penelle

MCF Univ Bordeaux

LS

Laurent Simon

PR Bordeaux INP

MZ

Marc Zeitoun

PR Univ Bordeaux

Past members

SB

Sougata Bose

was: PhD student

YA

Yvon Awuklu

was: PhD student

RM

Rémi Morvan

was: PhD student

GC

Gianluca Cima

was: Postdoc

RF

Rohan Fossé

was: PhD student

QM

Quentin Manière

was: PhD student

VR

Varun Ramanathan

was: PhD student

DK

Daniil Kozhemiachenko

was: Postdoc

Group meetings

Usually Tuesdays at 14h00 in room 178

When Where Who What