Overview

The interest areas of the members of Logical and Mathematical Foundations group at the School of Informatics cover a wide spectrum, from Linear and Relevance logics to cryptography to mathematical methods in bioinformatics. In the last 5 years several courses were offered by the members of our group, to name a few: Model Theory, Algebraic Proof theory, Mathematical Foundations of Cryptography, Domain Theory, Relevance Logic. For more detailed information on research topics, please refer to the individual webpages.