Overview

Tyrex is a common research project team
(CNRS,
Inria,
UGA,
Grenoble
INP). The 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.

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.