Anna-Lena Horlemann-Trautmann

Associate Professor for Foundations of Computation
Institute and School of Computer Science
University of St.Gallen, Switzerland

Portrait

Curriculum Vitae

Experience

University of St.Gallen, Switzerland, currently
Associate professor for foundations of computation at the School of Computer Science
University of St.Gallen, Switzerland, 2017 - 2021
Assistant professor for mathematics and information technology at the Faculty of Mathematics and Statistics
EPF Lausanne, Switzerland, 2015 - 2017
Researcher and lecturer at the Algorithmics Laboratory
University of Zurich, Switzerland, 2015
Academic coordinator and researcher at the Institute of Mathematics
University of Melbourne, Australia, 2013 - 2015
Research fellow at the Department of Electrical and Electronic Engineering
Monash University, Australia, 2013 - 2015
Research fellow at the Department of Electrical and Computer Systems Engineering
University of Zurich, Switzerland, 2009 - 2013
Teaching and research assistant at the Institute of Mathematics
ThyssenKrupp, Germany, 2007
Student trainee for software development and IT-controlling
Ruhr-Universität Bochum, Germany, 2003 - 2007
Teaching assistant and tutor for first-year students at the Faculty for Mathematics

Education

University of Zurich, Switzerland, 2009 - 2013
PhD studies of applied algebra
Universitet i Bergen, Norway, 2004 - 2005
Study of mathematics and Norwegian
Ruhr-Universität Bochum, Germany, 2002 - 2007
Study of mathematics and philosophy (Diploma)

Selected Scholarships and Grants

Swiss National Science Foundation Weave Project no. 10002035, 2025-2028 (joint with J. de Beule)
Basic Research Fund (GFF) by the University of St.Gallen, 2024-2025
Leading House for the Latin American Region Cooperation Grant, 2024-2025 (joint with J. de la Cruz)
Sofja-Kovalevskaja Award awarded by the Humboldt Foundation, 2020
Forschungskredit Grant no. 57104103 awarded by the University of Zurich, 2012-2013
Swiss National Science Foundation Grant no. 138080, 2011-2013 (with PI J. Rosenthal)
Swiss National Science Foundation Grant no. 126948, 2009-2011 (with PI J. Rosenthal)
Scholarship awarded by the Zurich Graduate School in Mathematics, 2009 - 2010