Temporärer Umzug
Prof. Dr. rer. nat. Arne Meier
© PicturePeople
Prof. Dr. rer. nat. Arne Meier
© PicturePeople
Prof. Dr. rer. nat. Arne Meier
My area of expertise is complexity theory. Currently, I focus on the parameterised complexity of problems in non-classical logics with applications to AI. Furthermore, I study enumeration algorithms.
I also enjoy typography and the text typesetting system LaTeX.
Interests
- (Parameterised) Complexity Theory
- Logic in Computer Science (particularly, non-classical logics)
- Foundations of Artificial Intelligence
- (Parameterised) Enumeration Algorithms
- LaTeX (see my personal GitHub-Webside for a timeline LaTeX/TikZ package.