Meghyn Bienvenu

Papers

Total Citations

H-Index

About

Meghyn Bienvenu is a leading researcher in knowledge representation and reasoning, with a particular focus on ontology-based data access (OBDA) and the complexities of querying description logic knowledge bases. Her work has fundamentally advanced our understanding of how to efficiently answer queries over incomplete or inconsistent data, bridging the gap between theoretical foundations and practical database systems. Bienvenu is perhaps best known for her deep contributions to the study of rewritability and the computational complexity of conjunctive query answering under various description logic fragments, work that has garnered hundreds of citations and shaped the field. She has also made notable contributions to automated reasoning, including her work on finite LTL synthesis with environment assumptions and quality measures, a paper that tackles the practical challenge of generating correct-by-construction controllers and business processes. Her research is characterized by its rigorous theoretical depth and its clear relevance to real-world AI systems. A prolific author and respected member of the AI community, Bienvenu has served on senior program committees for top conferences like IJCAI, AAAI, and KR, and her work continues to inspire new generations of researchers in logic-based AI.