Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Friedrich-Alexander-Universität Erlangen-Nürnberg
Department Informatik
Lehrstuhl Informatik 8 - Theoretische Informatik

Adresse Martenstraße 3
91058 Erlangen
Deutschland

GERiT Diese Institution in GERiT

91058 Erlangen

Projekte

Sachbeihilfen
- laufende Projekte
  - Abstrakte Techniken für Programmiersprachen und sichere Kompilierung
    (Antragsteller Goncharov, Sergey ; Tsampas, Stelios )
  - Höherstufige monadenbasierte Programmierung und Verifikation
    (Antragsteller Goncharov, Sergey )
  - Kategorielle Theorie der Automaten
    (Antragsteller Milius, Stefan ; Urbat, Henning )
  - Koalgebraische Deduktionssysteme für quantitative Systemanalyse
    (Antragsteller Schröder, Lutz )
  - Koalgebraische Nominale Automaten mit Namensallozierung
    (Antragsteller Milius, Stefan ; Schröder, Lutz )
  - Spektren von Verhaltensdistanzen und quantitativen Logiken
    (Antragstellerinnen / Antragsteller König, Barbara ; Schröder, Lutz )
- abgeschlossene Projekte
  - Eine High-Level-Sprache für monadenbasierte Prozesse
    (Antragsteller Goncharov, Sergey ; Schröder, Lutz )
  - Ein monadenbasierter Programmlogikbaukasten für generische und heterogene Seiteneffekte (PLB).
    (Antragsteller Lüth, Christoph )
  - Formal Methods and Semantic Technologies for Engineering Design Processes
    (Antragsteller Kohlhase, Michael ; Schröder, Lutz )
  - Generische algorithmische Verfahren und Komplexitätsschranken für Modal- und Hybridlogiken auf koalgebraischer Basis
    (Antragsteller Schröder, Lutz )
  - Koalgebraische Modellprüfung
    (Antragsteller Milius, Stefan ; Schröder, Lutz )
  - Koinduktion und Algebra in der Axiomatisierung und Algorithmik von Systemäquivalenzen
    (Antragsteller Milius, Stefan ; Schröder, Lutz )
  - Probabilistische Beschreibungslogik als Fragment der Probabilistischen Logik Erster Stufe
    (Antragsteller Schröder, Lutz )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Argumentrekonstruktion aus Politischen Debatten
    (Antragstellerinnen / Antragsteller Evert, Stephanie ; Schröder, Lutz )
Graduiertenkollegs
- laufende Projekte
  - GRK 2475: Cyberkriminalität und Forensische Informatik
    (Sprecher Freiling, Felix )

© 2024 DFG Kontakt / Impressum / Datenschutz