Thomas Strahm (1965-2021)

We are sorry to have to tell you that our friend and colleague Thomas Strahm passed away peacefully in the morning of April 26 after four years of suffering. His death was, however, sudden and unexpected.

Thomas Strahm, born in Bern, is well-known for his many contributions to mathematical logic and theoretical computer science, more specifically, proof theory, explicit mathematics, higher type functionals in an applicative context, and applicative theories for computational complexity. He was one of the leading experts of explicit mathematics and made groundbreaking contributions to the metapredicativity program and the unfolding of theories. In addition to his many important research contributions, Thomas was deeply committed to the teaching of logic and theoretical computer science at all levels. The center of Thomas's research and teaching was the University of Bern, but he spent extended research stays at the Mathematical Institute of the Czech Academy of Sciences in Prague, Stanford University, the Mittag-Leffler Institute of the Royal Swedish Academy of Sciences in Stockholm, and the University of Swansea. He was president of the Swiss Society for Logic and Philosophy of Sciences SSLPS from 2010 to 2013. He also served as editor of the Journal of Symbolic Logic for many years.