Benjamin Braatz

Teaching

Summer term 2007

Komponentenbasierte Modellierung und Korrektheit
(Component Based Modelling and Correctness)
LV 0434 L 282, 4 SWS IV
Advanced course in computer sciences
Contents: Parametrisation and modules of algebraic specifications, generic component concepts, compositionality and correctness
Responsibilities: Leading of the exercises, supervision of student presentations

UML-/Java-Praktikum
(UML Java Laboratory)
LV 0434 L 202, 6 SWS PR
Introductory laboratory in computer sciences
Contents: Development of a tool for finite automata, modelling with UML, implementation with Java and Eclipse
Responsibilities: Improvement of the provided graphical user interface as an Eclipse plug-in (together with Holger Lewin), inspection of milestones, lectures (together with Holger Lewin)

Winter term 2006/2007

Einführung in die Theoretische Informatik: Formale Spezifikation von Systemen
(Introduction to Theoretical Computer Sciences: Formal Specification of Systems)
LV 0434 L 285, 2 SWS VL + 2 SWS UE
Advanced course in computer sciences
Contents: Petri nets, liveness and safety properties, structuring, algebraic specifications, initial semantics, parametrised specifications
Responsibilities: Preparation of exercises, leading of two exercise courses

UML-/Java-Praktikum
(UML Java Laboratory)
LV 0434 L 202, 6 SWS PR
Introductory laboratory in computer sciences
Contents: Development of a tool for finite automata, modelling with UML, implementation with Java and Eclipse
Responsibilities: Improvement of the provided graphical user interface as an Eclipse plug-in (together with Holger Lewin and Thomas Göthel), inspection of milestones, lectures (together with Holger Lewin)

Summer term 2006

UML-/Java-Praktikum
(UML Java Laboratory)
LV 0434 L 202, 6 SWS PR
Introductory laboratory in computer sciences
Contents: Development of a tool for finite automata, modelling with UML, implementation with Java and Eclipse
Responsibilities: Development of the provided graphical user interface as an Eclipse plug-in (together with Holger Kinscher), inspection of milestones, lectures

Winter term 2005/2006

Einführung in die Theoretische Informatik: Formale Spezifikation von Systemen
(Introduction to Theoretical Computer Sciences: Formal Specification of Systems)
LV 0434 L 285, 2 SWS VL + 2 SWS UE
Advanced course in computer sciences
Contents: Petri nets, liveness and safety properties, structuring, algebraic specifications, initial semantics, parametrised specifications
Responsibilities: Organisation of exercise courses and preparation of exercises (together with Leen Lambers), leading of two exercise courses

Summer term 2005

Kategorientheorie für Informatiker I
(Category Theory for Computer Scientists I)
LV 0434 L 203, 4 SWS IV
Advanced course in computer sciences
Contents: Objects and morphisms, functors and functor transformations, limits and colimits, adjoint functors
Responsibilities: Preparation of exercises, organisation, leading of an exercise course

UML-/Java-Praktikum
(UML Java Laboratory)
LV 0434 L 202, 6 SWS PR
Introductory laboratory in computer sciences
Contents: Development of a tool for finite automata, modelling with UML, implementation with Java and Eclipse
Responsibilities: Enhancement of the provided graphical user interface (together with Holger Kinscher), inspection of milestones, lectures on the theory of finite automata

Winter term 2004/2005

Mathematik I für Informatiker (MafI 1)
(Mathematics I for Computer Scientists)
LV 0230 L 083, 3 SWS VL + 3 SWS UE
Introductory course in computer sciences
Contents: Number domains, complete induction, convergence of sequences and series, differentiation, integration
Responsibilities: Organisation of exercise courses and preparation of exercises and examinations (together with Georgi Dimitroff), leading of an exercise course

Summer term 2004

Mathematik II für Informatiker (MafI 2)
(Mathematics II for Computer Scientists)
LV 0230 L 085, 2 SWS VL + 2 SWS UE
Introductory course in computer sciences
Contents: Linear systems of equations, matrices and determinants, vector spaces, eigenvalues
Responsibilities: Organisation of exercise courses and preparation of exercises and examinations (together with Jens Abel), leading of an exercise course

Winter term 2003/2004

Mathematik I für Informatiker (MafI 1)
(Mathematics I for Computer Scientists)
LV 0230 L 083, 3 SWS VL + 3 SWS UE
Introductory course in computer sciences
Contents: Number domains, complete induction, convergence of sequences and series, differentiation, integration
Responsibilities: Organisation of exercise courses and preparation of exercises and examinations (together with Jens Abel), leading of an exercise course