Detailseite

Professor Dr. Lutz Schröder

Adresse Friedrich-Alexander-Universität Erlangen-Nürnberg
Department Informatik
Lehrstuhl Informatik 8 - Theoretische Informatik
Martenstraße 3
91058 Erlangen

Projekte

Als Antragsteller
- laufende Projekte
  - Spektren von Verhaltensdistanzen und quantitativen Logiken (Sachbeihilfen)
  - Koalgebraische Nominale Automaten mit Namensallozierung (Sachbeihilfen)
  - Koalgebraische Deduktionssysteme für quantitative Systemanalyse (Sachbeihilfen)
- abgeschlossene Projekte
  - Formal Methods and Semantic Technologies for Engineering Design Processes (Sachbeihilfen)
  - Generische algorithmische Verfahren und Komplexitätsschranken für Modal- und Hybridlogiken auf koalgebraischer Basis (Sachbeihilfen)
  - Probabilistische Beschreibungslogik als Fragment der Probabilistischen Logik Erster Stufe (Sachbeihilfen)
  - Eine High-Level-Sprache für monadenbasierte Prozesse (Sachbeihilfen)
  - Koinduktion und Algebra in der Axiomatisierung und Algorithmik von Systemäquivalenzen (Sachbeihilfen)
  - Koalgebraische Modellprüfung (Sachbeihilfen)
  - Argumentrekonstruktion aus Politischen Debatten (Schwerpunktprogramme)
Als beteiligter Wissenschaftler
- laufende Projekte
  - GRK 2475: Cyberkriminalität und Forensische Informatik (Graduiertenkollegs)
Als Beteiligte Person
- abgeschlossene Projekte
  - Ein monadenbasierter Programmlogikbaukasten für generische und heterogene Seiteneffekte (PLB). (Sachbeihilfen)

Servicenavigation

Hauptnavigation

Professor Dr. Lutz Schröder

Zusatzinformationen

Servicenavigation

Hauptnavigation

Professor Dr. Lutz Schröder

Zusatzinformationen

Textvergrößerung und Kontrastanpassung