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...