Lectures & seminars
…see teaching at Chair IV at TU Munich.
Projects for students
(mostly in German)
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)
Die ausgeschriebenen Projekte kann man im Lehrstuhlverzeichnis nachsehen. 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]](haftmann_in_tum_de.png)
.
Im Lehrstuhlarchiv finden Sie auch laufende und abgeschlossene Projekte.