Detailseite
Person
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
- 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
- Eine High-Level-Sprache für monadenbasierte Prozesse (Sachbeihilfen)
- Koalgebraische Modellprüfung (Sachbeihilfen)
- Argumentrekonstruktion aus Politischen Debatten (Schwerpunktprogramme)
- laufende Projekte
- Als beteiligter Wissenschaftler
- laufende Projekte
- GRK 2475: Cyberkriminalität und Forensische Informatik (Graduiertenkollegs)
-
- laufende Projekte
- Als Beteiligte Person
