EN | DE
Theoretische Informatik

Welcome

The Chair of Theoretical Computer Science (INF8) belongs to the Department of Computer Science at the Faculty of Engineering of the Friedrich-Alexander-Universität Erlangen-Nürnberg. Our core research topics are

  • Logic in Computer Science
  • Formal Methods
  • Knowledge Representation

Head of the group is Prof. Dr. Lutz Schröder.

Highlights

  • DFG-Project A High Level Language for Programming and Specifying Multi-Effect Algorithms (HighMoon II) (Sergey Goncharov, Lutz Schröder) granted.
  • A Characterization Theorem for a Modal Description Logic (P. Wild, L. Schröder) at IJCAI 2017
  • Efficient Coalgebraic Partition Refinement (U. Dorsch, S. Milius, L. Schröder, T. Wißmann) at CONCUR 2017
  • Automatic Verification of Application-Tailored OSEK Kernels (H.-P. Deifel, C. Dietrich, M. Göttlinger, D. Lohmann, S. Milius, L. Schröder) at FMCAD 2017
  • Ontological Modelling of a Psychiatric Clinical Practice Guideline (D. Gorin, M. Meyn, A. Naumann, M. Polzer, L. Schröder) at KI 2017
  • Nominal Automata with Name Binding (L. Schröder, D. Kozen, S. Milius, T. Wißmann) at FOSSACS 2017
  • Unifying Guarded and Unguarded Iteration (S. Goncharov, L. Schröder, C. Rauch and M. Pirog) at FOSSACS 2017
  • Probabilistic Description Logics for Subjective Uncertainty (V. Gutierrez-Basulto, J. Jung, C. Lutz, L. Schröder) in J. Artif. Intell. Res. (JAIR)
  • Program Equivalence is Coinductive (D. Pattinson, L. Schröder) at LICS 2016
  • Global Caching for the Alternation-free Coalgebraic mu-Calculus (Daniel Hausmann, Lutz Schröder, Christoph Egger) at CONCUR 2016
  • DFG project Probabilistic Description Logic as a Fragment of Probabilistic First-Order Logic (Lutz Schröder) granted
  • DFG project Generic Algorithmic Methods in Modal and Hybrid Logics (GenMod3) (Lutz Schröder) kicked off
  • COOL - The Coalgebraic Ontology Logic Reasoner extended to cover the alternation-free (coalgebraic) mu-calculus
  • A New Foundation for Finitary Corecursion: The Locally Finite Fixpoint and its Properties (Stefan Milius, Dirk Pattinson, Thorsten Wißmann) and Profinite Monads, Profinite Equations and Reitermann's Theorem (Liang-Ting Chen, Jiří Adámek, Stefan Milius, Henning Urbat) presented at FoSSaCS 2016