I am a post-doctoral researcher at the Institute of Symbolic Artificial Intelligence at Johannes Kepler University Linz, Austria.

My research interests lie in the fields of computer algebra, artificial intelligence and in the interplay of these two disciplines. Currently, I work under the supervision of Martina Seidl.

Publications

Browse through my publications. The main focus of my research currently lies in noncommutative Gröbner bases and their application to certify operator identities.

Go to Publications

Talks

On this page I provide slides of talks given at conferences or in seminars. The slides are not necessarily self-contained but hopefully make sense for people who heard the talk.

Go to Talks

Software

Take a look at some of the software I have written over the course of the last years including a package to work with noncommutative Gröbner bases or a small application to visualize graphs.

Go to Software

Teaching

A summary of all my teaching activities over the last years.

Go to Teaching

Bits and bobs

Here, I try to present interesting topics that appeared in my research or fun projects that I contributed to. If you are interested in artificial intelligence or in mathematics, it is definitely worth a read.

Go to Bits and bobs