Home
News
Back
Congratulations to David Schmutz on Best Bachelor Thesis Prize
Congratulations to Dr. Jan Johannsen on His Successful Habilitation
Job Advertisement: Looking for an Exam Grader
Mitarbeitende
Back
Jasmin Blanchette
Martin Hofmann
Patricia Dewhirst
Daniel Schmidt
Jan Johannsen
Kenji Maillard
Martin Desharnais-Schäfer
Michael Kirsten
Back
Publications
Yiming Xu
Tanguy Bozec
Xavier Genereux
Alexandra Graß
Massin Guerdi
Lydia Kondylidou
Elisabeth Lempa
Jannis Limperg
Luca Maio
Balazs Toth
Forschung
Back
Aktuelle Projekte
Lehre
Back
Abschlussarbeiten
Back
Leitfaden für Abschlussarbeiten
Wintersemester 2026/27
Back
Scientific and Technical English
Python für Anfänger
Logic for Security
Softwareentwicklungspraktikum für Informatik im Nebenfach
Automated Theorem Proving
Category Theory
Type Theory
Mobile Application Development
Formalization in Lean
SAT Solving
Sommersemester 2026
Back
Formale Sprachen und Komplexität
Theoretische Informatik für Studierende der Medieninformatik
Logik und Diskrete Strukturen
Algebra and Computer Science
Interactive Theorem Proving
Theory and Security of Voting Systems
Cryptography
Automated Theorem Provers
Programming in Prolog
Wintersemester 2025/26
Back
Scientific and Technical English for Computer Scientists
Python für Anfänger
Functional Pearls
Softwareentwicklungspraktikum für Informatik im Nebenfach
Automated Theorem Proving
Type Theory
Mobile Application Development
Formalization in Lean
SAT Solving
Satisfiability Modulo Theories
Sommersemester 2025
Back
Formale Sprachen und Komplexität
Logik und Diskrete Strukturen
Theoretische Informatik für Studierende der Medieninformatik
Algebra and Computer Science
Interactive Theorem Proving
Cryptography
Automated Theorem Provers
Wintersemester 2024/25
Back
Automated Theorem Proving
Complexity Theory
Software Foundations
Einführung in die Programmierung
Formalization in Lean
Functional Programming and Type Theory
Python für Anfänger
Softwareentwicklungspraktikum für Informatik im Nebenfach
Sommersemester 2024
Back
Formale Sprachen und Komplexität
Logik und Diskrete Strukturen
Theoretische Informatik für Studierende der Medieninformatik
Algebra and Computer Science
Functional Pearls
Cryptography
Dependent Type Theory
Interactive Theorem Proving
Wintersemester 2023/24
Back
Basics of Theorem Proving Using Coq
Functional Pearls
Softwareentwicklungspraktikum für Informatik im Nebenfach
Functional Programming and Type Theory
SAT Solving
Sommersemester 2023
Back
Formale Sprachen und Komplexität
Logik und Diskrete Strukturen
Theoretische Informatik für Medieninformatiker
Ältere Vorlesungen
Back
Wintersemester 2022/23
Sommersemester 2022
Wintersemester 2021/22
Sommersemester 2021
Wintersemester 2020/21
Sommersemester 2020
Wintersemester 2019/20
Sommersemester 2019
Wintersemester 2018/19
Sommersemester 2018
Wintersemester 2017/18
Sommersemester 2017
Wintersemester 2016/17
Sommersemester 2016
Master-Praktikum: Formalization in Lean (FiL, WiSe 2026/27)
Instructor:
Xavier Généreux
2+2 hours per week
Print
To top
