Speaker GI-Special Interest Group Complexity
PD Dr. rer. nat. habil. Arne Meier
© Institut für Theoretische Informatik
PD Dr. rer. nat. habil. Arne Meier
Phone
Email
Address
Appelstraße 9a
30167 Hannover
30167 Hannover
Building
Room
© Institut für Theoretische Informatik
PD Dr. rer. nat. habil. Arne Meier
Phone
Email
My area of expertise is complexity theory. Currently, I focus on the parameterised complexity of problems in non-classical logics. 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)
- (Parameterised) Enumeration Algorithms
- LaTeX (see my personal GitHub-Webside for a timeline LaTeX/TikZ package.
ACTIVITIES
-
PC Member
Past Program Committees: LCC 2019, AAAI 2021, IJCAI 2021 (distinguished PC)
-
Reviewing
Conferences: TAMC'11, SAT'12, STACS'12, SAT'13, AiML'14, STACS'14, SAT'14, ICALP'14, STACS'15, FoSSaCS'15, STACS'16, MFCS'16, STACS'17, STACS'18, SAT'18, CiE'18, CSL'18, CSR'19, STACS'20, ICALP'20, LoDE'20, STACS'21, AAAI'21, ICALP'21, IJCAI'21, ESA'21, CSL'21, CSL'22
-
Research Projects
Past Projects: Descriptive Complexity of Parameterised Counting Problems
-
Member of Steering Committees
STACS
