Tyrex | Project

Some On-going Research Projects

Tree Reasoning Solver
This project aims at making progress in the analyses of query and programming languages for the web. A central aspect of the project is an efficient satisfiability solver for an expressive logic for reasoning with tree-shaped data.

Distributed SPARQL Evaluation
In this project we design efficient query evaluators adapted for large distributed RDF datasets.

Semantic Pipelines
This project studies processing chains that combine heterogeneous linked data sources.

Mixed Reality Browser
This project aims at rendering augmented content (such as points of interests) by leveraging technologies such as panoramics and spatialized audio, and indoor-outdoor navigation techniques including pedestrian dead-reckoning and precise attitude estimation.