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...
Prof. Dr. Blanchette, Jasmin, Leiter der Lehr- und Forschungseinheit für Theoretische Informatik und Theorembeweisen an der LMU München, hat einen ERC Consolidator Grant für sein Projekt Nekoka: Realizing the Promise of Higher-Order SMT and Superposition for Interactive Verification erhalten. Der...