Praktikumsthemen

Die unten angeführten Praktikumsthemen können im Rahmen eines der folgenden Praktika im Winter- oder Sommersemester bearbeitet werden:

• Projektpraktikum, 6.0/4.0 PR (185.285, 185.286)
• Freifachpraktikum, 6.0/4.0 PR (185.279, 185.281)
• Informatikpraktikum 1, 6.0/4.0 PR (185.293)
• Informatikpraktikum 2, 6.0/4.0 PR (185.296, 185.297)

Wenn Sie sich für eines der Themen interessieren, wenden Sie sich bitte direkt an den jeweiligen Betreuer.

Nach Rücksprache mit dem Betreuer ist es auch möglich, die Praktika in den Ferialzeiten zu absolvieren.

Es sind auch eigene Themenvorschläge willkommen, Sie müssen lediglich einen von uns als Betreuer der selbstgewählten Aufgabenstellung gewinnen. Prinzipiell betreuen wir auch externe Praktika (d.h. Praktika, die bei einer Firma absolviert werden); beachten Sie in diesem Fall aber die Richtlinien zur Anerkennung externer Praktika.

Betreuer A. Leitsch

• Automatische Konsistenzprüfung von Spezifikationen und Modellbildung

Betreuer C. Fermüller

• Tools zur Unterstützung der Lehre von Theoretische Informatik und Logik (z.B. als JAVA-Applets). Mögliche Themen:

  • Auswertungen von Termen über Modellstrukturen
  • Determinisierung von endlichen Automaten
  • Automatische Erstellung von Wahrheitstafeln
  • Normalformenbildung
  • Beweissuche im Sequentialkalkül
  • Beweissuche mittels Tableaux
  • Beweissuche im Resolutionskalkül
  • Unifikation
  • Auswerten von prädikatenlogischen Formeln
  • Lehrimplementierung von DPLL
  • Interpreter für AL
  • Automatisierung des Hoare-Kalküls

• MATHEMTICA 'notebooks' zur Veranschaulichung diverser Konzepte aus Logik, Spieltheorie, u.a.m.

• Implementierung von Dialogspielen (Logik)

• Implementierung eines einfachen Tableau-Beweisers für mehrwertige Modallogiken

• Spezifikation und Implementierung eines "Logik-Taschenrechners"

Weitere Themen nach Vereinbarung ...

Betreuer R. Freund

Themen nach Vereinbarung !

Betreuer B. Gramlich

Schwerpunktmäßig biete ich Themen in folgenden Gebieten an:

• Termersetzungssysteme (Rewriting) und Equational Reasoning
• Funktionale / Logische / Funktional-Logische Programmierung / Regel-basierte Programmierung
• Semantik von Programmiersprachen
• Deduktion / Automatisches Beweisen
• Formale Spezifikation und Verifikation
• Formale Methoden im Software Engineering

Nähere Informationen dazu und konkrete Themenmöglichkeiten auf Anfrage bzw. siehe hier.

Betreuer G. Salzer

Bevorzugt betreue ich Themen in folgenden Bereichen:

• Formale Spezifikation und Verifikation
• Kryptographie
• Theoretische Informatik
• Logik in der Informatik

Wenn Sie eines dieser Gebiete prinzipiell interessiert, kommen Sie vorbei, damit wir eine Aufgabenstellung finden können, die uns beide anspricht.

Aktuelle Themen:

• Advanced Logfile Processing System (ALPS)