Dr. rer. nat. Arne Meier
Contact information
Institute of Theoretical Computer Science
Faculty of Electrical Engineering and Computer Science
Universität Hannover
Appelstraße 4
30167 Hannover
| Room: | 219 (Location) |
| Phone: | +49 511 762 19768 |
| Fax: | +49 511 762 19606 |
| E-Mail: | meier * (my PGP Key (Fingerprint: 127A D0A3 6AB0 C579 90F6 BF3E 2133 4604 5608 A867)) |
| Consultation-hours: | by appointment |
* plus the suffix (at)thi(dot)uni(minus)hannover(dot)de
Interests
- Computational Complexity
- Logic in Computer Science
- Enumeration
- Parametrised Complexity
- LaTeX (see my GitHub page for a timeline LaTeX/TikZ package)
Current Issues
- I am the speaker of the GI special interest group complexity.
- I am on the programme committee of Logic and Computational Complexity 2019, in Patras, July 8. Please consider submitting.
Projects
- DFG ME 4279/1-2: Nonclassical Logics: Parametrised Complexity and Enumeration
- DAAD PPP Indien DST 2018: Descriptive Complexity of parametrised Counting Problems