Welcome to my homepage! I am a docent at the Institute
of Computer Science and Applied Mathematics (IAM) in the Faculty of Science
of the University of Bern, Switzerland.
I am a member of the research group for Theoretical Computer
Science and Logic (TIL).
My research interests include mathematical logic and theoretical computer science, more specifically proof theory, explicit mathematics, predicativity and metapredicativity, higher type functionals, as well as applicative theories and computational complexity.
My teaching activities range from subjects in mathematical logic and theoretical computer science (e.g. computability, complexity, non-classical logics) to applied courses in computer science (e.g. introduction to programming, human-computer interaction, service courses for the faculty of science).