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...

 


[ Home | CV | Projects | Publications | Talks | Teaching | Sharing | Personal page ]

Valid HTML 4.01! Andreas Abel, http://www.cse.chalmers.se/~abela
Last modified: Tue Nov 18 10:48:06 CET 2008
Valid CSS!