Types and Reasoning for the Web
Types and Reasoning for the Web

Tyrex is a research project team, affiliated with CNRS LIG, Inria, UGA, and Grenoble INP.

We develop the foundations for the next generation of information extraction, data analysis and neuro-symbolic programming systems. Our research extends ideas from data management, artificial intelligence, programming languages and logic. Extracting value from data increasingly requires sophisticated algorithms to represent, query, process, analyze and interpret data. We develop the foundations of data processing systems and neuro-symbolic programming, with a focus on extracting information from graph structures. These graph structures are obtained from raw data that may be more or less structured, noisy, uncertain or incomplete. Challenges include robust, efficient and scalable processing of large graphs obtained from such data. We study and build new information extraction methods, as well as new robust and scalable programming methods for rich graph data structures.

Centre(s) inria
Inria Centre at Université Grenoble Alpes
In partnership with
CNRS,Université de Grenoble Alpes


Team leader

Helen Pouchot-Rouge-Blanc

Team assistant