Anna-Lena Horlemann is an Associate Professor for Foundations of Computation at the School of Computer Science, University of St. Gallen. Her research focuses on algebraic coding theory, post-quantum cryptography, and network coding. She leads the Coding Theory and Cryptography research group, actively contributing to NIST's post-quantum standardization efforts. Her work addresses quantum computing threats to current cryptosystems and develops error-correcting codes for reliable data transmission and storage. Education: PhD in Mathematics from the University of Zurich (2013), supervised by Prof. Joachim Rosenthal. Diploma in Mathematics from Ruhr-Universität Bochum. Research interests span coding theory (e.g., rank-metric codes, subspace codes), cryptography (code-based systems, privacy protocols), and neuroinformatics (connectome analysis). Recent publications emphasize Lee metric applications, MDS code classification, and cryptanalysis of Gabidulin-based systems. She mentors doctoral researchers such as Nadja Willenborg and Violetta Weger, focusing on topics like code densities and quantum-resistant algorithms. Her team's work bridges theoretical foundations and practical implementations, with contributions to error-correction resilience and cryptographic security in post-quantum scenarios. No formal awards listed, but actively participates in international conferences (IEEE, CBCrypto) and journal reviews.






