Gantry 5
  • Home
  • News
  • Mitarbeitende
  • Forschung
      • Back
      • Aktuelle Projekte
  • Lehre
      • Back
      • Abschlussarbeiten
          • Back
          • TCS Leitfaden für Abschlussarbeiten
      • Sommersemester 2026
          • Back
          • Formale Sprachen und Komplexität
          • Theoretische Informatik für Studierende der Medieninformatik
          • Algebra and Computer Science
          • Cryptography
          • Automated Theorem Provers
          • Theory and Security of Voting Systems
      • 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
          • Fromale 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

Mitarbeitende

Name, VornameFunktionRaumTelefon
Prof. Dr. Blanchette, JasminLehrstuhlinhaberL 107
Prof. Hofmann, PhD, Martin (†)Ehemaliger Lehrstuhlinhaber
Dewhirst, PatriciaSekretariatL 105+49 89 2180-9337
Schmidt, DanielIT-MitarbeiterE 103+49 89 2180-9301
Dr. Johannsen, JanLeiter der Geschäftsstelle des Instituts160+49 89 2180-9140
Maillard, PhD, KenjiGastU160
Bentkamp, PhD, AlexanderPostdoktorand
Dr. Desharnais-Schäfer, MartinPostdoktorandU160
Dr. Kirsten, MichaelPostdoktorandD 012
Xu, PhD, YimingPostdoktorandinD 012
Généreux, XavierDoktorandL 101
Graß, AlexandraDoktorandinD 012
Guerdi, MassinDoktorandL 101
Kondylidou, LydiaDoktorandinL 103
Lempa, ElisabethDoktorandinU160
Limperg, JannisGastL 103
Maio, LucaDoktorandL 103
Toth, BalazsDoktorandL 101

News

  • Job Advertisement: Looking for an Exam Grader
    16.10.2025
  • ERC Consolidator Grant für Forschungsprojekt über höherstufiges Theorembeweisen
    31.07.2025
To top
Sitemap | Datenschutz | Impressum