Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

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
  - Abstract Techniques for Programming Languages and Secure Compilation
    (Applicants Goncharov, Sergey ; Tsampas, Stelios )
  - Categorical Theory of Automata
    (Applicants Milius, Stefan ; Urbat, Henning )
  - Coalgebraic Nominal Automata with Name Allocation
    (Applicants Milius, Stefan ; Schröder, Lutz )
  - Coalgebraic Reasoning for Quantitative System Analysis
    (Applicant Schröder, Lutz )
  - Higher-Order Monad-based Programming and Reasoning
    (Applicant Goncharov, Sergey )
  - 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 )
  - Coalgebraic Model Checking
    (Applicants Milius, Stefan ; 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 )

© 2024 DFG Disclaimer / Copyright / Privacy Policy