Teaching

Type Systems (Typsysteme) with Ulrich Schöpp, Summer 2011, LMU, Munich.

lecture with Ulrich Schöpp (13 * 3 hours / 2)
tutorial section (10 * 2 hours)

Functional Programming in SML (Programmierung und Modellierung) with Martin Hofmann, Summer 2011, LMU, Munich.

lecture (Martin: 12 * 2 hours; me : 6 * 2 hours)
exam co-design and grading

Scientific Practices (Wissenschaftliches Arbeiten und Lehren) with Martin Hofmann, Summer 2011, LMU, Munich.

organization
lecture (Martin: 3 * 2 hours; guests: 3 * 2 hours; me: 1 * 2 hours)
student mini-project supervision

Computer-Aided Formal Reasoning (Rechnergestütztes Beweisen) Winter 2010/11, LMU, Munich.

lecture (3 hours * 14 weeks)
tutorial section (2 hours * 14 weeks)

Semantics of Programming Languages (Semantik von Programmiersprachen) with Ulrich Schöpp, Summer 2010, LMU, Munich.

lecture with Ulrich Schöpp (Ulrich: 16 * 2 hours, me: 11 * 2 hours)
tutorial section (Ulrich: 7 * 2 hours, me: 6 * 2 hours)

Seminar on Distributed Algorithms (Blockseminar Verteilte Algorithmen) with Martin Hofmann and Ulrich Schöpp, Summer 2010, LMU, Munich.

student supervision

Advanced Functional Programming (Funktionale Programmierung) with Hans-Wolfgang Loidl, Summer 2009, LMU, Munich.

lecture with Hans-Wolfgang (each 2 hours * 7 weeks)
tutorial section (each 2 hours * 7 weeks)
supervision of student mini-projects

Algorithms and Data Structures (Algorithmen und Datenstrukturen) by Martin Hofmann, Summer 2009, LMU, Munich.

organization
design of assignments and exam
tutorial section (2 hours * 7 weeks)

Lambda-Calculus (Lambda-Kalkül), Winter 2008/09, LMU, Munich.

concept and lecture (3 hours * 14 weeks)
tutorial section (1 hour * 14 weeks)
design and grading of assignments
oral exam

Python Tutorial (Python-Kompaktkurs), Winter 2008/09, LMU, Munich.

concept and lecture (4 hours * 5 days)
final projects for students

Functional Programming in SML (Programmierung und Modellierung (Info II)) by Francois Bry, Summer 2008, LMU, Munich.

organization
adaptation of Plone EduComponents to SML handins
design and grading of assignments
tutorial section (2 hour * 14 weeks)

Computer-Aided Formal Reasoning (Rechnergestütztes Beweisen) with Martin Hofmann, Winter 2007/08, LMU, Munich.

lecture with Martin (each 2 hours * 14 weeks)
tutorial section (2 hours * 14 weeks)
design and grading of assignments

Compiler Construction Lab (Übersetzerbaupraktikum) with Hans-Wolfgang Loidl, Winter 2007/08, LMU, Munich.

lecture with Hans-Wolfgang (each 2 hours * 7 weeks)
implementation of a compiler for Mini-Java in Haskell
student supervision (2 hours * 14 weeks)

Type Systems (Typsysteme), with Martin Hofmann, Summer 2007, LMU, Munich.

concept and lecture with Martin (each 2 hours * 14 weeks)
tutorial section (2 hour * 14 weeks)
design and grading of assignments

Programming Language Theory, seminar, (Hauptseminar Programmiersprachentheorie) with Lennart Beringer and Hans-Wolfgang Loidl, Summer 2007, LMU, Munich.

concept and seminar (2 hours * 8 weeks)

Lambda-Calculus (Lambda-Kalkül), Winter 2006/07, LMU, Munich.

concept and lecture (3 hours * 14 weeks)
tutorial section (1 hour * 14 weeks)
design and grading of assignments
oral exam

Efficient Algorithms (Effiziente Algorithmen) by Martin Hofmann, Summer 2006, LMU, Munich.

design of assignments
tutorial section (2 hours * 14 weeks)
grading of assignments

Computer-Aided Formal Reasoning (Rechnergestütztes Beweisen) by Martin Hofmann, Winter 2005/06, LMU, Munich.

tutorial section (2 hours * 14 weeks)
design and grading of assignments

Compiler Construction Lab (Übersetzerbaupraktikum) by Martin Hofmann, Winter 2005/06, LMU, Munich.

tutorial section (4 hours * 14 weeks)

Theory and Implementation of Object-Oriented Programming Languages (Theorie und Implementation objekt-orientierter Programmiersprachen), Summer 2002, LMU, Munich.

concept and lecture (2 hours * 14 weeks)
tutorial section (2 hours * 14 weeks)
design and grading of assignments
oral exam resp. student project

Efficient Algorithms (Effiziente Algorithmen) by Martin Hofmann and Jan Johannsen, Summer 2002, LMU, Munich.

tutorial section
grading of assignments

Constructive Logic (15-399) by Frank Pfenning, Fall 2000, CMU, Pittsburgh.

development and maintenance of the proof checker tutch
tutorial section
design and grading of assignments

Theoretical Computer Science (Einführung in die Informatik IV) by Fred Kröger, Summer 1998, LMU, Munich.

tutorial section
grading of assignments

Theoretical Computer Science (Einführung in die Informatik IV) by Peter Clote, Summer 1997, LMU, Munich.

grading of assignments

Back to teaching overview...

Andreas Abel, http://www.cse.chalmers.se/~abela
Last modified: 2019-01-22 19:54>