Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home SiteMap login

SiteMap

Home
      Lehre
           Wintersemester 18/19
                Vorlesungen
                     Functional Programming and Verification
                Praktika
                Seminare
           Sommersemester 18
                Vorlesungen
                     Virtuelle Maschinen
                     Compiler Construction I
                     Automata Theory II (DISCONTINUED)
                Praktika
                     IoT - Aufbau eines Sensornetzwerks
                     Practical Course - Program Optimization with LLVM
                Seminare
                     Program Synthesis
           Wintersemester 17/18
                Vorlesungen
                     Einführung in die Informatik 2 - Funktionale Programmierung und Verifikation
                     Programming Languages
                     Program Optimization
                Praktika
                     Compiler Construction - Eclipse & CUP
                Seminare
           Sommersemester 17
                Vorlesungen
                     Automata Theory 2
                     Compiler Construction I
                     Virtuelle Maschinen
                Praktika
                     Lab Course Cobol & Eclipse
                Seminare
                     C++ Tomorrow
                     The Rust Programming Language
           Studienarbeiten
                Bachelorarbeiten
                     Programmanalyses with Goblint
                     Parsergeneratoren
                     Teleteaching Tool
                Masterarbeiten
                     Goblint
                Hiwijobs
           Wintersemester 16/17
                Vorlesungen
                     Programming Languages
                     Introduction to Informatics 2
                     Program Optimization
                Praktika
                     Compiler Construction - Eclipse & CUP
                Seminare
           Sommersemester 16
                Vorlesungen
                     Compiler Construction I
                     Virtuelle Maschinen
                     Grundlagen: Algorithmen und Datenstrukturen
                Praktika
                     Lab Course Cobol&Eclipse
                Seminare
                     Proseminar Meta-Programming
           Wintersemester 15/16
                Vorlesungen
                     Programming Languages
                     Program Optimization
                     Einführung in die Informatik II
                Praktika
                Seminare
                     Generation of Code and Innovative Programming Models
           Sommersemester 15
                Vorlesungen
                     Compiler Construction I
                     Virtual Machines
                     Grundlagen: Algorithmen und Datenstrukturen
                Praktika
                     Lab Course Cobol&Eclipse
                Seminare
                     Tools für die Anwendung formaler Methoden bei der Software-Entwicklung
           Wintersemester 14/15
                Vorlesungen
                     Programming Languages
                     Program Optimization
                Praktika
                     Compiler Construction: Developing an Eclipse Plugin
                Seminare
                     Höllische Programmiersprachen
           Sommersemester 14
                Vorlesungen
                     Compiler Construction I
                     Virtual Machines
                Praktika
                     Compiler Construction: Developing a Backend for PowerPC with LLVM
                Seminare
           Wintersemester 13/14
                Vorlesungen
                     Programming Languages
                     Program Optimization
                Praktika
                     Compiler Construction
                     C++ for Java Programmers - How to build a multi-player game
                Seminare
                     Programming Models and Code Generation
           Sommersemester 13
                Vorlesungen
                     Compiler Construction I
                     Virtual Maschines
                     Theoretische Informatik
                          Übungen
                Praktika
                     Blockpraktikum: Compiler Construction; A Lua-Interpreter in Java
                Seminare
                     Blockseminar: Programming Languages from Hell
           Wintersemester 12/13
                Vorlesungen
                     Einführung in die Informatik I
                     Programming Languages
                     Programmoptimierung
                Seminare
                     Programming Models and Code Generation
           Sommersemester 12
                Vorlesungen
                     Compilerbau I
                          Übung
                     Virtuelle Maschinen
                     Einführung in die Theoretische Informatik
                          Übungen
                          Klausur
                Praktika
                Seminare
                     Programming Languages From Hell
           Wintersemester 11/12
                Vorlesungen
                     Einführung in die Informatik I für Ingenieure
                          Tutorübungen
                     Programmoptimierung
                Praktika
                Seminare
                     Programming Models and Code Generation
           Sommersemester 11
                Vorlesungen
                     Einführung in die Informatik 1
                          Praktikum Grundlagen der Programmierung
                     Compilerbau I
                          Übung Compilerbau
                     Virtual Machines
                Praktika
                     Aspekte der Systemnahen Programmierung bei der Spieleentwicklung
                Seminare
                     Having Fun with Types
           Wintersemester10/11
                Vorlesungen
                     Programming Languages
                     Einführung in die Informatik 1 für Ingenieure
                     Program Optimization
                Praktika
                     Praktikum - Garbage Collection
                Seminare
                     Programming Models and Code Generation
                     Automatische Verifikation von Software Contracts mit MS Clousot
           Sommersemester 10
                Vorlesungen
                     Compilerbau I
                          Übung Compilerbau
                Praktika
                     Semantische Virenscanner für x86 Binaries
                     An OCaml Compiler for the JVM
                Seminare
                     Programming languages from hell
                     Proseminar Garbage Collection
                     Programmanalyse
           Wintersemester 09/10
                Vorlesungen
                     Program Optimization
                     Einführung in die Informatik 2
                          Übung zu Info2
                     Programming Languages
                Praktika
                Seminare
                     Semantics of C++
                     Hauptseminar Codegenerierung
                     Programmierkonzepte für Multi-Core Rechner
           Sommersemester 09
                Vorlesungen
                     Grundlagen: Algorithmen und Datenstrukturen
                          Übung zu GAD
                     Virtuelle Maschinen
                     Compilerbau
                Praktika
                     Implementierung eines Parsergenerators in Java
                Seminare
                     Proseminar: Java für Fortgeschrittene
                          Materialien
                     Proseminar: Malicious Code: Würmer, Viren und Co
                          Materialien
           Wintersemester 08/09
                Vorlesungen
                     Programm-Optimierung
                          Übung zu Programmoptimierung
                     Einführung in die Informatik 2
                          Übung zu Informatik 2
                Seminare
                     Malicious Code: Würmer, Viren und Co
                     Hauptseminar Codegenerierung
           ältere
                Veranstaltungen
                     alte Veranstaltungen
      Personen
           Professoren
                Prof. Dr. Helmut Seidl
                Univ.-Prof. Dr. Dr.h.c. Jürgen Eickel
           Lehrstuhlassistenz
                Elisabeth Sommer
           Lehrstuhl Mitarbeiter
                Dr. Michael Petter
                Ralf Vogler
                Julian Kranz
                Zuzana Kretinska
                Raphaela Palenta
                Dr. Eugen Zalinescu
                Nico Hartmann
                Anastasiia Izycheva
           Ehemalige
                Dr. Kalmer Apinis
                Dr. Alexandru Berlea
                Dr. Andrea Flexeder
                Dr. Stefan Schulze Frielinghaus
                Dr. Sylvia Friese
                Dr. Thomas Gawlitza
                Franz Hassmann
                Dr. Alexander Herz
                Dr. Aleksandr Karbyshev
                Dr. Máté Kovács
                Dr. Bogdan Mihaila
                Dr. Thomas Perst
                Herta Remmes
                Dr. Andreas Reuß
                Dr. Martin Schwarz
                Alexander Sepp
                Dr. Holger Siegel
                Dr. Axel Simon
                Dr. Kumar Neeraj Verma
                Dr. Vesal Vojdani
                Dr. Peter Ziewer
      Research
      Projects
           VoTUM
           VAM
           Teleteaching
           Goblint
           CUP
           SpAGAT
           OpIAT
           XML-Transformations
      Events
           Ferienakademie 2018
           Ferienakademie 2016
           Ferienakademie 2015
           Ferienakademie 2013
      Jobs/Studienarbeiten
      SiteMap
      Puma
      Impressum & Datenschutz
TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 8 ms