Navigation auf uzh.ch
PhD in logic from the ILLC in Amsterdam and postdocs in theoretical computer science at Strathclyde, Bremen, Amsterdam and Oxford.
Johannes's primary research interest is in applications of logic in database theory.
Johannes Marti
DaST Group Department of Informatics University of Zurich Andreasstr. 15 8050 Zürich Switzerland
marti@ifi.uzh.ch