The chair of Theoretical Computer Science and Theorem Proving is proud to announce that David Schmutz, a bachelor's student who was cosupervised by Prof. Sven Strickroth and Prof. Jasmin Blanchette, has been awarded the Preis der besten Bachelorarbeit des Jahres 2025 im Bereich Bildungstechnologien,...
The chair of Theoretical Computer Science and Theorem Proving is proud to announce that Dr. Jan Johannsen has been awarded a habilitation from the Faculty of Mathematics, Informatics, and Statistics of the LMU for a thesis with the topic "The Complexity of Propositional Resolution Proofs and Clause...
Hi everybody,
The chair of Theoretical Computer Science and Theorem Proving is looking to hire a student to help grade the regular and retake exams for the following two courses offered this winter semester 2025/26:
- Scientific and Technical English for Computer Scientists
- Automated Theorem P...