Welcome to Tomas Strahm's former homepage!

He was a docent at the Institute of Computer Science in the Faculty of Science of the University of Bern, Switzerland and a member of the Logic and Theory Group (LTG).

His principal research interests included mathematical logic and theoretical computer science, more specifically proof theory, explicit mathematics, the unfolding program, predicativity and metapredicativity, higher type functionals, as well as applicative theories and computational complexity.

His teaching activities ranged 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).

He was member of the  the Editorial Board of The Journal of Symbolic Logic and member of the Consulting Board of Dialectica.

His CV with complete list of publications can be downloaded here.