Moritz Lichter

Moritz Lichter M.Sc.

Graphen und Gruppen

Aufgabenbereich

Didaktik

Kontakt

Work S2|15
Schlossgartenstraße 7
64289 Darmstadt

Forschungsinteressen

  • Logik, endliche Modelltheorie, Logik für Polynomialzeit
  • Graphisomorphie
  • Deskriptive Komplexitätstheorie
  • Computer Algebra

Publikationen

  • M. Lichter: Separating Rank Logic from Polynomial Time. To appear at LICS 2021; Kleene Award for Best Student Paper. (PDF arXiv (Full Version))
  • M. Lichter, P. Schweitzer: Canonization for Bounded and Dihedral Color Classes in Choiceless Polynomial Time. In Proceedings of the 29th EACSLAnnual Conference on Computer Science Logic (CSL 2021) Ljubljana, 2021 (PDF CSL, PDF arXiv (Full Version))
  • M. Lichter, I. Ponomarenko, P. Schweitzer: Walk refinement, walk logik, and the iteration number of the Weisfeiler-Leman algorithm. In Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, June 24-27 (LICS 2019) Vancouver, 2019. (DOI, arXiv)
  • S. Erdweg, M. Lichter, M. Weiel: A sound and optimal incremental build system with dynamic dependencies. In Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, October 25-30 (OOPSLA 2015, part of SPLASH 2015) Pittsburgh, 2015. (PDF)

Preprints

  • M. Lichter, G. Smolka: Constructive analysis of S1S and Büchi automata. 2018. (arXiv)

Lehre

  • Assistent zur Vorlesung „Entwurf und Analyse von Algorithmen“ WS 18/19 (TU Kaiserslautern)
  • BA/MA Seminar WS 18/19 (together with Pascal Schweitzer, TU Kaiserslautern)

Weitere Aktivitäten

  • Porjekt „Bau einer Programmiersprache“in the Modulphase 2020 des Hector Seminar am Bunsen-Gymnasium Heidelberg mit Schüler*innen der Klassen 8 to 10 (zusammen mit G. Döbbeling und O. Rudolph)
  • Porjekt „Formale Sprachen“ (wie oben)