I am a postdoctoral researcher at Johannes Kepler University Linz, Austria, working jointly at the Institute of Symbolic Artificial Intelligence and the Research Institute for Symbolic Computation (RISC).

My research interests lie in the fields of computer algebra, artificial intelligence, and in the interplay of these two disciplines. Click here for a full CV.

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

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