Project Details
Person
Professor Dr. Stefan Milius
Address
Friedrich-Alexander-Universität Erlangen-Nürnberg
Department Informatik
Lehrstuhl Informatik 8 - Theoretische Informatik
Martenstraße 3
91058 Erlangen
-
As Applicant
-
Current projects
-
Categorical Theory of Automata (Research Grants)
-
Coalgebraic Nominal Automata with Name Allocation (Research Grants)
-
-
Completed projects
-
Coalgebraic Model Checking (Research Grants)
-
Current projects
-
As Participating Researcher
-
Current projects
-
GRK 2475: Cybercrime and Forensic Computing (Research Training Groups)
-
-
Current projects
