Dr. rer. nat. Arne Meier

© Institut für Theoretische Informatik
Dr. rer. nat. Arne Meier
Office hours
n. V.
Address
Appelstr. 4
30167 Hannover
Building
Room
218
© Institut für Theoretische Informatik
Dr. rer. nat. Arne Meier
Office hours
n. V.
Address
Appelstr. 4
30167 Hannover
Building
Room
218
My area of research is complexity theory. Currently, I focus on the parameterised complexity of problems in non-classical logics. Furthermore, I am working in the field of enumeration algorithms. I also enjoy typography and the text typesetting system LaTeX.

CURRENT PUBLICATIONS

RESEARCH INTERESTS

  • Complexity Theory: Classify problems regarding their runtime and space requirements
  • Parameterised Complexity: what are meaningful and practice-relevant parameterisations of problems yielding efficient algorithms?
  • Non-classical Logics: temporal, hybrid, modal, or non-monotonic
  • Enumerationalgorithms: how can one develop algorithms which produce a uniform stream of solutions?
  • LaTeX: see my GitHub-Website

FUNCTIONS

Spokesman for the GI Section Complexity
Member of the Program Committee of the LCC Workshop 2019

RESEARCH PROJECTS

Non-classical logics: parameterized complexity and enumeration
Descriptive complexity of parameterized counting problems