Moritz Lichter

Moritz Lichter M.Sc.

Graphen und Gruppen

Arbeitsgebiet(e)

Didaktik

Kontakt

Work S2|15 232
Schlossgartenstraße 7
64289 Darmstadt

Forschungsinteressen

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

Publikationen

  • A. Dawar, E. Grädel, M. Lichter: Limitations of the Invertible-Map Equivalences. 2022. Journal of Logic and Computation (DOI, arXiv)
  • M. Lichter, P. Schweitzer : Choiceless Polynomial Time with Witnessed Symetric Choice. LICS 2022; distinguished paper. (DOI, arXiv (Full Version))
  • M. Lichter: Separating Rank Logic from Polynomial Time. In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science(LICS 2021); Kleene Award for Best Student Paper. (DOI,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, 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 (wird in neuem Tab geöffnet))

Preprints

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

Lehre

  • Assistent zur Vorlesung „Mathematik als gemeinsame Sprache der Naturwissenschaften“ WS 21/22 mit B. Kümmerer
  • Assistent zur Vorlesung „Entwurf und Analyse von Algorithmen“ WS 18/19 (TU Kaiserslautern)
  • BA/MA Seminar WS 18/19 (mit P. Schweitzer, TU Kaiserslautern)

Weitere Aktivitäten

  • Projekt „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)
  • Projekt „Formale Sprachen“ (wie oben)