Sites Inria

Version française

TYREX Research team

Types and Reasoning for the Web

Team presentation

Tyrex is a common research project team (CNRS, Inria, UGA, Grenoble INP). The Tyrex team performs research at the intersection of web data, programming languages, systems, theory and tools. We create and study systems that process richly structured data.

Research themes

Our current focus is on building robust and efficient rich data processing systems. Our current technical contributions focus on the optimization, compilation, and synthesis of query code, in particular for big data.

On the programming language and theory side, we develop the foundations for the static analysis of programs that process rich data, with a particular focus on logical methods, type-checking and automated reasoning techniques for declarative and domain-specific languages.

On the web application side, we illustrate our new design foundations through web applications that process combine and enrich data to create augmented reality content and augmented city environments in particular.

Keywords: Programming Artificial intelligence Data Web