Friedrich-Alexander-Universität Erlangen-Nürnberg
Department Informatik
Lehrstuhl Informatik 8 - Theoretische Informatik
Address
Martenstraße 3
91058 Erlangen
Deutschland
GERiT
This institution in GERiT
91058 Erlangen
Projects
Research Grants
Current projects
Advancing the Theory of Quantitative Universal Algebra
(Applicants
Milius, Stefan
;
Urbat, Henning
)
Categorical Theory of Automata
(Applicants
Milius, Stefan
;
Urbat, Henning
)
Coalgebraic Model Checking (CoMoC2)
(Applicants
Milius, Stefan
;
Schröder, Lutz
)
Coalgebraic Nominal Automata with Name Allocation
(Applicants
Milius, Stefan
;
Schröder, Lutz
)
Coalgebraic Reasoning for Quantitative System Analysis
(Applicant
Schröder, Lutz
)
Spectra of Behavioural Distances and Quantitative Logics
(Applicants
König, Barbara
;
Schröder, Lutz
)
Completed projects
A High Level Language for Monad-based Processes
(Applicants
Goncharov, Sergey
;
Schröder, Lutz
)
Coalgebra-based generic decision procedures and complexity bounds for modal and hybrid logics
(Applicant
Schröder, Lutz
)
Coinduction Meets Algebra for the Axiomatization and Algorithmics of System Equivalences
(Applicants
Milius, Stefan
;
Schröder, Lutz
)
Ein monadenbasierter Programmlogikbaukasten für generische und heterogene Seiteneffekte (PLB).
(Applicant
Lüth, Christoph
)
Formal Methods and Semantic Technologies for Engineering Design Processes
(Applicants
Kohlhase, Michael
;
Schröder, Lutz
)
Probabilistic Description Logic as a Fragment of Probabilistic First-Order Logic
(Applicant
Schröder, Lutz
)
Priority Programmes
Completed projects
Reconstructing Arguments from Newsworthy Debates
(Applicants
Evert, Stephanie
;
Schröder, Lutz
)
Research Training Groups
Current projects
GRK 2475: Cybercrime and Forensic Computing
(Spokesperson
Freiling, Felix
)
