Zum Inhalt springen
  • Lehrstuhl für Theoretische Informatik
  • TUM School of Computation, Information and Technology
  • Technische Universität München
Technische Universität München
  • Startseite
  • Kontakt
    • Wie man zu uns findet..
  • Lehre
    • Wintersemester 2025/2026
      • Automata and Formal Languages
      • Algorithms for Programming Contests
      • Games on Graphs
    • Sommersemester 2025
      • Petri Nets
      • Logic
    • Sommersemester 2024
      • Einführung in die Theoretische Informatik
      • Petri nets
      • Seminar - Recent Advances in the Verification of Neural Networks (IN2107, IN0014)
    • Kursübersicht
    • Wintersemester 2023/2024
      • Automaten und formale Sprachen
      • Fundamental Algorithms (CSE)
      • Seminar - Recent Advances in the Verification of Neural Networks (IN2107, IN0014)
    • Sommersemester 2023
      • Logic
        • Lecture notes
        • Alternative slides
      • Einführung in die Theoretische Informatik
      • Practical Course - Recent Advances in Model Checking
      • Seminar - Recent Advances in the Verification of Neural Networks (IN2107, IN0014)
    • Wintersemester 2022/2023
      • Automaten und formale Sprachen
      • Master Seminar - Recent Advances in Model Checking
      • Fundamental Algorithms (CSE)
    • Sommersemester 2022
      • Einführung in die theoretische Informatik
      • Model Checking
      • Practical Course - Recent Advances in Model Checking
      • Petri nets
    • Wintersemester 2021/2022
      • Perlen der Informatik
      • Quantitative Verification
      • Practical Course: Algorithms for Programming Contests
      • Automaten und formale Sprachen
    • Sommersemester 2021
      • Petri nets
      • Model Checking
      • Einführung in die theoretische Informatik
      • Practical Course: Algorithms for Programming Contests
      • Games on graphs
    • Wintersemester 2020/2021
      • Automaten und formale Sprachen
      • Practical Course: Algorithms for Programming Contests
      • Perlen der Informatik I
    • Frühere Vorlesungen
    • Thesis projects
  • Forschung
    • Doctorate Colloquium
    • PaVeS
    • ConVeY
  • Veröffentlichungen
  • Tools
    • Automata Tutor
    • Owl
    • Peregrine
    • Rabinizer
    • SeQuaiA
    • Strix
  • Personen
    • Javier Esparza
    • Jan Křetínský
    • Claudia Link
    • Valentin Krasotin
    • Michael Luttenberger
    • Josia Pietsch
    • Maximilian Prokop
    • Jakob Schulz
  1. Startseite
  2. Suche
To top

Informatik 7 - Lehrstuhl für Theoretische Informatik

Prof. Javier Esparza
Boltzmannstr. 3
D-85748 Garching bei München
Germany

Alte Websiten

  • 2004-2020
  • vor 2004
  • Datenschutz
  • Impressum
  • Barrierefreiheit