EN | DE
Theoretische Informatik

Prof. Dr. Lutz Schröder

foto.jpg

Lutz Schröder is the head of the Chair of Computer Science 8 (Theoretical Computer Science) at the Department of Computer Science of the Friedrich-Alexander-Universität Erlangen-Nürnberg.

E-mail: user Lutz.Schroeder, domain fau.de
Phone: +49 9131 85-64059
Fax: +49-9131-85-64055
Office: Martensstr. 3, 91058 Erlangen, Room 11.159

Highlights

  • Nominal Automata with Name Binding (L. Schröder, D. Kozen, S. Milius, T. Wißmann) accepted at FOSSACS 2017
  • Unifying Guarded and Unguarded Iteration (S. Goncharov, L. Schröder, C. Rauch and M. Pirog) accepted at FOSSACS 2017
  • Probabilistic Description Logics for Subjective Uncertainty (V. Gutierrez-Basulto, J. Jung, C. Lutz, L. Schröder) accepted by 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
  • New DFG project Probabilistic Description Logic as a Fragment of Probabilistic First-Order Logic (ProbDL2) granted
  • New DFG project Generic Algorithmic Methods in Modal and Hybrid Logics (GenMod3)
  • DFG project Coinduction meets algebra for the axiomatization of system equivalences (COAX) (Stefan Milius / Lutz Schröder) up und running
  • Get course material for the course on coalgebraic logic by Dirk Pattinson and myself at NASSLLI 2014
  • Check out COOL - The Coalgebraic Ontology Logic Reasoner. System description COOL – A Generic Satisfiability Checker For Coalgebraic Logics with Global Assumptions (D. Gorin, D. Pattinson, L. Schröder, F. Widmann and T. Wißmann) forthcoming at IJCAR 2014.

Research

Professional Activities

Slides of Selected Talks