Moritz Lichter

Saarland University Computer Science
Moritz Lichter

I am a PhD student at the Saarbrücken Graduate School of Computer Science and the Programming Systems Lab. Currently, I am investigating Buechi Automata an S1S in constructive logic. I developed a formalization of Buechi Automata in a Research Immersion Lab and continue with the connections to S1S in my ongoing Master Thesis.


Moritz Lichter
Saarland University
Saarland Informatics Campus E1 3, 518
66123 Saarbrücken

E-Mail: lichter at

Moritz Lichter, Sat Jul 22 20:06:15 2017