Project Details

Professor Dr. Lutz Schröder

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

Projects

As Applicant
- Current projects
  - Spectra of Behavioural Distances and Quantitative Logics (Research Grants)
  - Coalgebraic Nominal Automata with Name Allocation (Research Grants)
  - Coalgebraic Reasoning for Quantitative System Analysis (Research Grants)
- Completed projects
  - Formal Methods and Semantic Technologies for Engineering Design Processes (Research Grants)
  - Coalgebra-based generic decision procedures and complexity bounds for modal and hybrid logics (Research Grants)
  - Probabilistic Description Logic as a Fragment of Probabilistic First-Order Logic (Research Grants)
  - A High Level Language for Monad-based Processes (Research Grants)
  - Coinduction Meets Algebra for the Axiomatization and Algorithmics of System Equivalences (Research Grants)
  - Coalgebraic Model Checking (Research Grants)
  - Reconstructing Arguments from Newsworthy Debates (Priority Programmes)
As Participating Researcher
- Current projects
  - GRK 2475: Cybercrime and Forensic Computing (Research Training Groups)
As Participating Person
- Completed projects
  - Ein monadenbasierter Programmlogikbaukasten für generische und heterogene Seiteneffekte (PLB). (Research Grants)

Servicenavigation

Hauptnavigation

Professor Dr. Lutz Schröder

Additional Information

Servicenavigation

Hauptnavigation

Professor Dr. Lutz Schröder

Additional Information

Textvergrößerung und Kontrastanpassung