Zu Hauptinhalt springen

Forschung

Der Lehrstuhl besch?ftigt sich mit einer Vielzahl von Themen aus dem Bereich Formale Logik und Verifikation, unter anderem:

  • Eigenschaften von logischen Fragmenten und Theorien
  • Kalküle und effektive Beweis- oder Entscheidungsprozeduren, implementiert in Form vom SMT Solvern
  • Methoden für Craig Interpolation und Quantorenelimination
  • Automatenmethoden
  • Spezifikations- und Zwischensprachen für die Verifikation

  1. Fakult?t für Informatik und Data Science

Theoretische Informatik

6. Stock
Bajuwarenstra?e 4
93053 Regensburg

Kontakt:
+49 941 943-68612