We are happy to welcome Tabea Reichmann as a new PhD candidate in our group. Tabea started today, on October 15, 2026. She holds a bachelor’s degree in computer science from the University of Vienna and recently completed her master’s studies in Logic and Computation at TU Wien with honors. During her studies, she already gained research experience as a research and teaching assistant at both universities and co-authored a paper on quantized training of deep neural networks with our alumnus Lorenz. Welcome to the team, Tabea!