Tyrex is a common research project team
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
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.