Prof. Dr. Lutz Schröder

s
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
- 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
- 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
- DFG project Spectra of Behavioural Distances and Quantitative Logics (Barbara König, Lutz Schröder) kicked off
- A Linear-Time Nominal mu-Calculus with Name Allocation (Daniel Hausmann, Stefan Milius, Lutz Schröder) at MFCS 2021
- Explaining Behavioural Inequivalence Generically in Quasilinear Time (Thorsten Wißmann, Stefan Milius, Lutz Schröder) at CONCUR 2021
- Nominal Büchi Automata with Name Allocation (Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder) at CONCUR 2021
- Behavioural Preorders via Graded Monads (Chase Ford, Stefan Milius, Lutz Schröder) at LICS 2021
- Quasipolynomial Computation of Nested Fixpoints (Daniel Hausmann, Lutz Schröder) at TACAS 2021
- A Quantified Coalgebraic van Benthem Theorem (Paul Wild, Lutz Schröder) at FoSSaCS 2021
- DFG project Reconstructing Arguments from Newsworthy Debates (Stefan Evert, Lutz Schröder) kicked off
- Check out COOL – The Coalgebraic Ontology Logic Reasoner.
Research
- List of publications; DBLP record; Google Scholar profile.
- Research interests:
- Formal Methods
- Knowledge Representation
- Logic in Computer Science
- Current projects:
- DFG Project CoMoC – Coalgebraic Model Checking (Stefan Milius, Lutz Schröder)
- DFG Project SpeQT – Spectra of Behavioural Distances and Quantitative Logics (Barbara König, Lutz Schröder)
- Principal investigator within DFG Research Training Group 2475: Cybercrime and Forensic Computing
- DFG project RAND – Reconstructing Arguments from Newsworthy Debates (Stefan Evert, Lutz Schröder) within DFG SPP 1999 Robust Argumentation Machines (RATIO)
Recent Professional Activities
- 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
- 44th German Conference on Artificial Intelligence, KI 2021, PC member
- 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021, PC member
- 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, 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)
- 30th International Joint Conference on Artificial Intelligence, IJCAI 2021, PC member