Lectures & seminars
…see teaching at Chair IV at TU Munich.
Projects for students
English descriptions:
Under construction – further descriptions also available here.Geman descriptions and hints:
Baustelle – weitere Ausschreibungen auch hier.Diese Liste erhebt keinen Anspruch auf Vollständigkeit – wir haben auch noch weitere, weniger konkret ausgearbeitete Ideen in der Schublade. Für Ihre eigenen Vorstellungen und Vorschläge sind wir natürlich jederzeit offen. Schicken Sie einfach eine Mail an die jeweiligen Betreuer oder bei allgemeinen Fragen und Anregungen zu dieser Seite an Florian Haftmann {haftmann} AT [in.tum.de].
Wir bieten an:
- Bezahlte Tätigkeit als studentische Hilfskraft (flexible Arbeitszeit und Stundenzahl)
- Systementwicklungsprojekte
- Bachelor Theses
- Diplomarbeiten
- Master Theses
Inhaltlich umfaßt das Spektrum:
- Konkrete Anwendungen und Fallstudien in Isabelle
- Isabelle-basierte Werkzeuge für bestimmte Anwendungsbereiche (z. B. verteilte Systeme)
- Allgemeine Tools für Isabelle (z. B. Beweisprozeduren für Arithmetik, mächtige Definitionsmechanismen)
- Nicht-logische Tools für das Isabelle System (z. B. Benutzerschnittstellen, Präsentation)