2013 Teaching qualification (facultas docendi) for theoretical computer science

2013 Appointment as Privatdozent in mathematics  (the permission to teach independently at the University of Greifswald)

2013 Habilitation in mathematics at the University of Greifswald, teaching qualification (facultas docendi) for mathematics

1985 Doctoral degree awarded by the University of Greifswald (in mathematics)

1982 - 1983  First teaching experience at a university (in Algebra I)

1982  Course on the introduction to higher education (pedagogy and didactics)

1981 - 1984  Study of mathematical logic in Greifswald (Forschungsstudium), comparable to doctoral studies of mathematics

1981 Diploma awarded by the University of Greifswald (in mathematics)

1976 - 1981 Study of mathematics in Greifswald

since 1984  Member of the academic staff at the Institute of Mathematics and Computer Science

1984 - 2023 Employee of the Institute of Mathematics and Computer Science

2018  Visit at Jiangsu University (teaching and research, four weeks)

2015 - 2023 Head of the research groupTheory of Computability over Algebraic Structures

2014  - 2023 Responsible for the teaching modulesAlgorithmics and Complexity Theory, Theory of Computability, Mathematical Logic, Theoretical Computer Science

2009 - 2023 Supervision of students writing their thesis (diploma, bachelor)

2000 - 2012 Examiner for the First State Examination for Teachers (in the field of Computer Science)

1992 - 2012 Supervision of students working on programming projects (Belegarbeiten)

1987 Supervision of German students in Lithuania (three weeks)

2016 - 2018  First substitute member of the Academic Senate

2014 - 2018  Member of the Faculty Council of the Faculty of Mathematics and Natural Sciences

2014 - 2016  Member of the Academic Senate (Reduced Senate)

2014 - 2016  Member of the Research and Structural Committee

2004 - 2013  Equal opportunities officer of the Faculty of Mathematics and Natural Sciences

2006 - 2009  Member of the Equal Opportunities Committee

2004 - 2006  First substitute member of the Faculty Council of the Faculty of Mathematics and Natural Sciences

since 2009 Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG)

since 2008 Association Computability in Europe (ACiE)

since 2008 Computability and Complexity in Analysis Network (CCA Net)

Abstract Models of Computation

Algebra I

Algorithmics and Complexity Theory

Analysis

Computational Geometry

Discrete Mathematics

Discrete Structures and Processes

Graph Theory

Mathematical Logic

Measurement and Integration Theory

Theoretical Computer Science

Theory of Computability

Theory of Computability over Algebraic Structures

C++, Java, C#, Delphi, Prolog

Second-Order Logic and the Axiom of Choice

Computability over first-order structures and computational complexity