Moritz Lichter

Forschungsinteressen

• Graphisomorphie
• Logik
• 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 EACSL Annual 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
• BA/MA Seminar WS 18/19 (zusammen mit Pascal Schweitzer)

Weitere Aktivitäten

• Projekt "Bau einer Programmiersprache" in der Modulphase 2020 des Hector Seminars am Bunsen-Gymnasium Heidelberg mit Schülern der 8. bis 10. Klasse (zusammen mit G. Döbbeling und O. Rudolph)
• Projekt "Formale Sprache", wie oben