Berufung: Anna-Lena Horlemann

Prof. Dr. Anna-Lena Horlemann absolvierte von 2002 bis 2007 ihr Studium in Mathematik und Philosophie an der Ruhr-Universität in Bochum. Im Jahr 2013 promovierte sie an der Universität Zürich mit einer Dissertation zum Thema «Constructions, Decoding and Automorphisms of Subspace Codes». Nach Ihrer Dissertation war sie wissenschaftliche Mitarbeiterin an der Monash Universität in Australien, an der Universität Melbourne in Australien und an der Universität Zürich. Von September 2015 bis Februar 2017 war sie leitende Forscherin und Dozentin an der EPFL Lausanne. Von März 2017 bis Januar 2021 war sie Assistenzprofessorin für Mathematik und Informationstechnologie, seit dem 1. Februar 2021 war sie Assoziierte Professorin für Foundations of Computation an der Universität St.Gallen.

Forschung zu theoretischer Informatik, angewandter Mathematik und Quantum Computing

Prof. Dr. Anna-Lena Horlemanns Forschungsschwerpunkte liegen in der theoretischen Informatik und der angewandten Mathematik. Im Mittelpunkt ihrer Forschung stehen die Codierungstheorie, die Quantenfehlerkorrektur, die Post-Quanten-Kryptographie sowie Fragestellungen der algorithmischen Komplexität.

Ein wesentlicher Teil ihrer Arbeit befasst sich mit dem Entwurf und der Analyse effizienter Algorithmen für komplexe mathematische und informationstheoretische Probleme. Dazu gehören Kodierungs- und Dekodierungsverfahren für verschiedene Kommunikationsmodelle, Algorithmen zur Quantenfehlerkorrektur sowie Verfahren der codebasierten Kryptographie. Darüber hinaus untersucht sie die theoretischen Grenzen effizienter Berechenbarkeit, insbesondere die Laufzeit deterministischer und probabilistischer Algorithmen sowie den Nachweis der NP-Schwere und NP-Vollständigkeit algorithmischer Probleme.

Die von ihr entwickelten mathematischen Methoden und Algorithmen finden Anwendungen in der modernen digitalen Kommunikation, der Informationssicherheit sowie in zukünftigen Quantencomputer- und Quantentechnologien.

Umfassende Lehrerfahrung

Prof. Dr. Anna-Lena Horlemann verfügt über umfassende Lehrerfahrung über knapp 20 Jahre. Ihre Kurse decken Themenfelder von fortgeschrittenen mathematischen Themen bis hin zu angewandten Vorlesungen in Cybersecurity, Informationstheorie und Quantum Computing ab.