Zum Inhalt springen
  • Lehrstuhl für Sprachen und Beschreibungsstrukturen in der Informatik
  • TUM School of Computation, Information and Technology
  • Technische Universität München
Technische Universität München
  • Startseite
  • Personen
    • Helmut Seidl
    • Elisabeth Sommer
    • Yanbin Chen
    • Julian Erhard
    • Innocenzo Fulginiti
    • Alexandra Graß
    • Ali Rasim Kocal
    • Michael Petter
    • Michael Schwarz
    • Sarah Tilscher
  • Lehre
    • Wintersemester 25/26
      • Vorlesungen
        • Program Optimization
        • Abstract Interpretation – Static Program Analysis (IN3350)
        • Advanced Concepts of Programming Languages
      • Praktika
        • Static Analysis - Automated Bug Hunting and Beyond
      • Seminare
        • Next-Gen Programming Interfaces and Compilers
    • Sommersemester 25
      • Praktika
        • Static Analysis - Strengthen Equalities by Relaxing Polyhedra
        • Static Analysis - Do not stop at the Octagon
        • Static Analysis - Strong Results with Weak Relations
    • Wintersemester 24/25
      • Vorlesungen
        • Program Optimization
        • Advanced Concepts of Programming Languages
      • Praktika
        • Static Analysis - Automated Bug Hunting and Beyond
      • Seminare
        • Quantum Computing at Compile Time
        • Next-Gen Programming Interfaces and Compilers
    • Sommersemester 24
      • Vorlesungen
        • Compiler Construction
        • Virtual Machines
        • Language Based Security
        • Functional Programming and Verification
      • Praktika
    • Wintersemester 23/24
      • Vorlesungen
        • Program Optimization
        • Advanced Concepts of Programming Languages
      • Praktika
        • Static Analysis - Automated Bug Hunting and Beyond
      • Seminare
        • Bachelor-Seminar: Static Analysis - Tools and Techniques
        • Master-Seminar: Static Analysis - Mastering Concurrency
        • Quantum Computing at Compile Time
        • Next-Gen Programming Interfaces and Compilers
    • Sommersemester 23
      • Seminare
        • Language Design: Internals of Kotlin
      • Vorlesungen
        • Compiler Construction
        • Virtual Machines
        • Language Based Security
        • Functional Programming and Verification
      • Praktika
        • Static Analysis - Automated Bug Hunting and Beyond
    • Wintersemester 22/23
      • Vorlesungen
        • Program Optimization
        • Advanced Concepts of Programming Languages
      • Praktika
        • Profiling & Tuning Large Functional Programs
        • Static Analysis - Automated Bug Hunting and Beyond
        • BSc Practical course - Visualization of Virtual Machines (IN0012)
        • Fusion of Quantum Computing and Compiler Design
      • Seminare
        • Next-Gen Programming Interfaces and Compilers
    • Sommersemester 22
      • Vorlesungen
        • Virtual Machines
        • Compiler Construction
        • Functional Programming and Verification
      • Seminare
        • The Tyranny of Types: Curse or Blessing?
      • Praktika
        • Static Analysis - Automated Bug Hunting and Beyond
    • Wintersemester 21/22
      • Vorlesungen
        • Program Optimization
        • Functional Programming and Verification
        • Programming Languages
      • Seminare
        • Next-Gen Programming Interfaces and Compilers
      • Praktika
        • Program Optimization with LLVM
        • Bachelor's Practical course - Kotlin (IN0012)
    • Sommersemester 21
      • Vorlesungen
        • Compiler Construction
        • Virtual Machines
        • Language Based Security
      • Praktika
        • Static Analysis - Automated Bug Hunting and Beyond
      • Seminare
        • Program Synthesis - Cancelled
        • Rust
    • Wintersemester 20/21
      • Vorlesungen
        • Einführung in die Informatik 1
        • Program Optimization
    • Sommersemester 20
      • Vorlesungen
        • Compiler Construction
        • Virtual Machines
      • Seminare
        • Program Synthesis
      • Praktika
        • Program Optimization with LLVM
    • Wintersemester 19/20
      • Vorlesungen
        • Einführung in die Informatik 1
        • Programming Languages
      • Seminare
        • Code Generation and Innovative Programming Models
      • Praktika
        • Program Optimization with LLVM
    • Sommersemester 19
      • Vorlesungen
        • Compiler Construction
        • Virtual Machines
      • Seminare
        • Program Synthesis
    • Wintersemester 18/19
      • Vorlesungen
        • Functional Programming and Verification
        • Programming Languages
        • Program Optimization
        • Language Based Security
      • Praktika
        • Program Optimization with LLVM
        • IoT 2 - Aufbau eines Sensornetzwerks
    • frühere Semester
    • Studienarbeiten
  • Convey
  • Projekte
    • Webtutors
    • CUP
    • Goblint
    • OpIAT
    • Simple C
    • SpAGAT
    • Teleteaching
    • VAM
    • XML-Transformations
    • Static quantum computing
  • Forschung
  • Events
    • Summer School Marktoberdorf 2019
    • Ferienakademie 2018
    • Ferienakademie 2016
    • Ferienakademie 2015
    • SAS 2014
    • Ferienakademie 2013
  1. Startseite
  2. Suche
To top

Informatik 2 - Lehrstuhl für Sprachen und Beschreibungsstrukturen in der Informatik


Prof. Dr. Helmut Seidl

TUM Institut für Informatik I2
Boltzmannstraße 3
85748 Garching

  • Datenschutz
  • Impressum
  • Barrierefreiheit