Foundations of Computation We are engaged in teaching theoretical computer science and mathematics at various study programs at the University of St. Gallen. Our research focuses on coding theory and post-quantum cryptography. With our results we aim to improve digital communication technologies in their reliability, efficiency and security. In particular, we develop new error correcting codes and decoding algorithms for modern applications, such as distributed storage, network communication and quantum computers. Furthermore, we are very active in developing and analyzing new cryptographic methods for secure communication in the soon to come age of quantum computers. Here we mostly focus on code-based and isogeny-based cryptography.