Tyrex | Project

Overview

The research group Tyrex conducts research in the areas of web data and documents, algorithms, programming languages, formal methods, reasoning techniques, and software tools. The overall challenge is to make web application development more reliable, more efficient and more flexible.