PhD Studies
I did my PhD studies at the Research
Institute for Symbolic Computation Linz, Austria, with Prof. Bruno
Buchberger. My second advisor was Prof. Guenther Pilz. My PhD
thesis, Lazy Thinking Algorithm Synthesis in Groebner Bases Theory is available here.
Current Research
I am currently working in the Theoretical
Computer Science group at Institute
e-Austria,
on topics in computational complexity, logic, proof theory, algebraic
topology and their interaction with Gabriel Istrate and other members
of the group.
Scientific Interests
I am interested in
- computer supported mathematical theory exploration,
- algorithm synthesis,
- computer supported invention/discovery of mathematical concepts,
- automated reasoning,
- logic,
- complexity theory,
- formal languages,
- computer algebra.