Lehrstuhl Informatik II   
Sprachen und Beschreibungsstrukturen      
   Home Lehre login

Lehre





aktuelle Semester...
Vorlesungen
... findet ihr auf der neuen Homepage
Dozent:
Ort/Zeit:
ModulNummer:
Beschreibung:    
Praktika
Seminare
Sommersemester 18
Vorlesungen
Virtuelle Maschinen
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Lecture: Room 00.13.009A, Mon. 10:15-11:45 and Tue. 10:15-11:45. Exercises: Room 02.07.014, Thur. 16:15-17:45
ModulNummer:IN2040
Beschreibung:    Virtual Machines and Translation of Programming languages, such as C, Prolog and a functional language.
Compiler Construction I
Dozent:Dr. Michael Petter
Ort/Zeit:MI HS 2 Thursdays 14:15-15:45
ModulNummer:IN2227
Beschreibung:    Introduction to Compilerconstruction - how to translate an imperative language.
Automata Theory II (DISCONTINUED)
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Discontinued
ModulNummer:IN2042
Beschreibung:    Advanced automata models for program analysis and XML processing.
Praktika
IoT - Aufbau eines Sensornetzwerks
Dozent:Vogler R., Hartmann N., Kranz J.
Ort/Zeit:Sommersemester 2018
ModulNummer:
Beschreibung:    In diesem Praktikum soll ein Sensor-Netzwerk gemeinsam entworfen und aufgebaut werden.
Practical Course - Program Optimization with LLVM
Dozent:Dr. Michael Petter
Ort/Zeit:as a block course
ModulNummer:IN2106, IN0012
Beschreibung:    We integrate an own optimization pass into LLVM's opt tool.
Seminare
Program Synthesis
Dozent:Anastasiia Izycheva, Raphaela Palenta
Ort/Zeit:Room 02.07.053 - 1-1 meetings
ModulNummer:IN0014, IN2107
Beschreibung:    During the seminar we will touch the surface of the current research on program synthesis. We will see several applications and learn about techniques used to generate code automatically.
Wintersemester 17/18
Vorlesungen
Einführung in die Informatik 2 - Funktionale Programmierung und Verifikation
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Freitag, 08:25 - 9:55 Uhr / MW 0001 Gustav-Niemann-Hörsaal
ModulNummer:IN0003
Beschreibung:    Die Veranstaltung gibt eine Einführung in die funktionale Programmierung mit OCaml, sowie die Verifikation von imperativen und funktionalen Programmen.
Programming Languages
Dozent:Prof. Dr. Helmut Seidl, Dr. Michael Petter
Ort/Zeit:HS 2, Wednesdays 14:00-15:30 and Tutorial: Fridays 08:30-10:00 HS 2
ModulNummer:IN2113
Beschreibung:    We are discussing various advanced programming paradigms illustrated by a number of real programming languages such as e.g. Smalltalk, Java, C/C++ and others.
Program Optimization
Dozent:Prof. Dr. Helmut Seidl
Ort/Zeit:Room: 00.13.009A; Lecture: Mon. 12:15-13:45, Wed. 10:00-11:30, Exercises: Thu. 10:00-12:00,
ModulNummer:IN2053
Beschreibung:    This course is about standard techniques used to optimize general purpose programming languages. How to avoid redundant computation, replace expensive computations with cheaper ones, and/or exploit hardware.
Praktika
Compiler Construction - Eclipse & CUP
Dozent:Dr. Michael Petter
Ort/Zeit:02.07.034 Seminar room, en bloque
ModulNummer:IN2106 & IN0012
Beschreibung:    We improve the CUP Eclipse plugin
Seminare
TUM - Lehrstuhl Informatik II (Sprachen und Beschreibungsstrukturen) Thanks: Tango and TinyMCE     Generationszeit: 11 ms