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
Martensstr. 3, 91058 Erlangen, Room 11.159
Research
- List of publications (automatically generated with substantial lag); DBLP record; Google Scholar profile.
- Research interests: Formal Methods, Knowledge Representation, Logic in Computer Science, Categorical Methods, Coalgebra
Selected Recent Publications
- Threshold-Based Behavioural Distances (Jonas Forster, Lutz Schröder, Paul Wild, Barbara König, Pedro Nora) at CONCUR 2026
- Graded Semantics of Nominal Systems (Hannes Schulze, Lutz Schröder, Üsame Cengiz) at CONCUR 2026
- Generalized Kantorovich-Rubinstein Duality beyond Hausdorff and Kantorovich (Paul Wild, Lutz Schröder, Karla Messing, Barbara König, Jonas Forster) at FoSSaCS 2026
- Higher-order bialgebraic semantics (Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat) in J. Funct. Programming
- Behavioural Conformances based on Lax Couplings (Paul Wild, Lutz Schröder) at LICS 2025
- Relators and Notions of Simulation Revisited (Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild) at LICS 2025
- Conformance Games for Graded Semantics (Jonas Forster, Lutz Schröder, Paul Wild) at LICS 2025
- Alternating Nominal Automata with Name Allocation (Florian Frank, Daniel Hausmann, Stefan Milius, Lutz Schröder, Henning Urbat) at LICS 2025
- Relational Connectors and Heterogeneous Simulations (Pedro Nora, Jurriaan Rot, Lutz Schröder, Paul Wild) at FoSSaCS 2025.
- Identity-Preserving Lax Extensions and Where to Find Them (Sergey Goncharov, Dirk Hofmaan, Pedro Nora, Lutz Schröder, Paul Wild) at STACS 2025
- Quantitative Graded Semantics and Spectra of Behavioural Metrics (Jonas Forster, Lutz Schröder, Paul Wild) at CSL 2025.
- Bialgebraic Reasoning on Stateful Languages (Jonas Forster, Lutz Schröder, Paul Wild) at ICFP 2025.
- Automated Analysis and Synthesis of Message Authentication Codes (Stefan Milius, Dominik Paulus, Dominique Schröder, Lutz Schröder, Julian Thomas) at CSF 2025.
- Non-Expansive Fuzzy ALC (Stefan Gebhart, Lutz Schröder, Paul Wild) at IJCAI 2025
- Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames (Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder) at SPIN 2025
- Nominal Tree Automata with Name Allocation (Simon Prucker, Lutz Schröder) at CONCUR 2024
- Coalgebraic Satisfiability Checking for Arithmetic mu-Calculi (Daniel Hausmann, Lutz Schröder), Log. Methods Comput. Sci. 20(3) (2024)
- Expressive Quantale-Valued Logics for Coalgebras (Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder, Paul Wild) at STACS 2024
- Logical Predicates in Higher-Order Mathematical Operational Semantics (Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas, Henning Urbat) at FOSSACS 2024
- Generic Model Checking for Modal Fixpoint Logics in COOL-MC (Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger) at VMCAI 2024
- Weak Similarity in Higher-Order Mathematical Operational Semantics (Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schröder) at LICS 2023
- Common Knowledge of Abstract Groups (Merlin Humml, Lutz Schröder) at AAAI 2023
- Towards a Higher-Order Mathematical Operational Semantics (Sergey Goncharov, Stefan Milius, Stelios Tsampas, Lutz Schröder, Henning Urbat) at POPL 2023
- Kantorovich Functors and Characteristic Logics for Behavioural Distances (Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild) at FOSSACS 2023
- COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description) (Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder) at CADE 2023
- Stateful Structural Operational Semantics (Sergey Goncharov, Stefan Milius, Stelios Tsampas, Lutz Schröder, Henning Urbat) at FSCD 2022
- Graded Monads and Behavioural Equivalence Games (Chase Ford, Harsh Beohar, Barbara König, Stefan Milius, Lutz Schröder) at LICS 2022
Current funded projects
- DFG Project SpeQT2 – Spectra of Behavioural Distances and Quantitative Logics (Barbara König, Lutz Schröder)
- DFG Project CoMoC2 – Coalgebraic Model Checking (Stefan Milius, Lutz Schröder) kicked off
- DFG Project CoRSA – Coalgebraic Reasoning for Quantitative System Analysis (Lutz Schröder)
- DFG Project CoNAN – Coalgebraic Nominal Automata with Name Allocation (Stefan Milius, Lutz Schröder)
- Principal investigator within DFG research training group 2475 Cybercrime and Forensic Computing
- Principal investigator in the project Digitaler Registerassistent (DIREGA)
funded be the German Federal Chamber of Notaries
Recent Professional Activities
- 34th EACSL Annual Conference on Computer Science Logic, CSL 2026, PC member
- E. W. Beth Dissertation Prize, member of the prize committee (2023-2026)
- 13th International Joint Conference on Automated Reasoning, IJCAR 2026, PC member
- member of IFIP WG 1.3 (Foundations of System Specification)
- 49th German Conference on Artificial Intelligence, KI 2026, PC member
- 48th German Conference on Artificial Intelligence, KI 2025, PC member
- 39th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2024, PC member
- 33nd International Joint Conference on Artificial Intelligence, IJCAI 2024, Program Committe Board member
- 47th German Conference on Artificial Intelligence, KI 2024, PC member
- 46th German Conference on Artificial Intelligence, KI 2023, PC member
- 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023, Program Committe Board member
- 31st International Joint Conference on Artificial Intelligence, IJCAI-ECAI 2022 Program Committe Board member
- 36h AAAI Conference on Artificial Intelligence, AAAI 2022, PC member
- 45th German Conference on Artificial Intelligence, KI 2022, PC member
- 25th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2022, PC co-chair (jointly with Patricia Bouyer)
- 2016-2022: Co-chair (jointly with Markus Roggenbach) of IFIP WG 1.3 (Foundations of System Specification)