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
- 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.