About me

I am a postdoctoral fellow with the logic group of the Department of Pure Mathematics of the University of Waterloo working with Barbara Csima. I obtained my Ph.D. in 2019 from the Vienna University of Technology under the supervision of Ekaterina Fokina.

News & Recent Blogposts

New Homepage Online

I just created this new homepage with all my professional information. I hope...

About my Research

My research area is computability theory. I am specifically interested in the computational and descriptive complexity of mathematical objects. In my research I typically aim to answer questions of the following kind:

  • Given a mathematical structure (for example a field), how complicated is it to compute an isomorphism between any two isomorphic copies of it?
  • Given a mathematical structure for which we can not necessarily compute its basic operations, in which Turing degrees can we find isomorphic copies of it?
  • Given a structure, how complicated is its Scott sentence (A sentence in infinitary logic whose models are isomorphic to the given structure)?
  • Given a structure with interesting computational properties, can we find a structure with such properties in natural classes of structures?

In my Ph.D. thesis I focused on question 1,2, and 4 if we consider computational properties not up to isomorphism but up to other equivalence relations such as elementary equivalence and bi-embeddability. Because of this I developed an interest in the complexity of equivalence relations both from a descriptive as well as from a computational point of view.

About my Teaching

If you want to know about my teaching experience or access course notes please look at Teaching & Notes.