Tobias has been born in Munich, has studied computer science in Marburg, Saskatchewan, Freiburg, and Tübingen, has done his graduate studies in Stuttgart, Pisa, and Duisburg, and has been a Post-Doc in Enschede, Villetaneuse, Saclay, Palaiseau, Edinburgh, Copenhagen, and Leipzig.
Through years, Tobias’s research has been revolving around logic, verification, and category theory—in the wide sense. In recent years, he was working on computational systems biology, culminating in his Marie Curie grant RUBYX on the implicit complexity of rule-based models. His diverse research interests are driven by the ideas of applied category theory.
