Dr. Paul Wild - Lehrstuhl für theoretische Informatik 8

Adresse:

FAU Erlangen-Nürnberg
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Martensstraße 3
D-91058 Erlangen
Raum: 11.130
E-Mail: paul.wild[at]fau.de
Telefon: 09131/85-64054

About me

I am a postdoctoral researcher at the Chair for Theoretical Computer Science at Friedrich-Alexander-Universität Erlangen-Nürnberg. My research interests are in coalgebra, modal logic and behavioural distances. My PhD thesis on „The Model Theory of Quantitatitive Coalgebraic Modal Logics“ can be found at Open FAU.

Publications

2025
[12]	Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke, Barbara König and Karla Messing: Quantitative Graded Semantics and Spectra of Behavioural Metrics, In Jörg Endrullis, Sylvain Schmitz, eds.: 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, February 10-14, 2025, Amsterdam, Netherlands, LIPIcs, vol. 326, pp. 33:1–33:21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [bibtex] [url] [doi]
2024
[11]	Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder and Paul Wild: A point-free perspective on lax extensions and predicate liftings, In Mathematical Structures in Computer Science, 34(2), pp. 98–127, 2024. [bibtex] [doi]
[10]	Harsh Beohar, Sebastian Gurke, Barbara König, Karla Messing, Jonas Forster, Lutz Schröder and Paul Wild: Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach, In Olaf Beyersdorff, Mamadou Moustapha Kanté, Orna Kupferman, Daniel Lokshtanov, eds.: 41st International Symposium on Theoretical Aspects of Computer Science, STACS 2024, March 12-14, 2024, Clermont-Ferrand, France, LIPIcs, vol. 289, pp. 10:1–10:19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [bibtex] [doi]
[9]	Jonas Forster, Lutz Schröder, Paul Wild, Harsh Beohar, Sebastian Gurke and Karla Messing: Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras, In Barbara König, Henning Urbat, eds.: Coalgebraic Methods in Computer Science - 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings, Lecture Notes in Computer Science, vol. 14617, pp. 114–134, Springer, 2024. [bibtex] [doi]
2023
[8]	Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder and Paul Wild: Kantorovich Functors and Characteristic Logics for Behavioural Distances, In Pawel Sobocinski, Orna Kupferman, eds.: Foundations of Software Science and Computation Structures (FoSSaCS 2023), Springer International Publishing, 2023. [bibtex]
[7]	Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder and Paul Wild: Quantitative Hennessy-Milner Theorems via Notions of Density, In Bartek Klin, Elaine Pimentel, eds.: 31st EACSL Annual Conference on Computer Science Logic, CSL 2023, February 13-16, 2023, Warsaw, Poland, LIPIcs, vol. 252, pp. 22:1–22:20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. [bibtex] [doi]
2022
[6]	Paul Wild and Lutz Schröder: Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions, In Log. Methods Comput. Sci., 18(2), 2022. [bibtex] [url] [doi]
2021
[5]	Paul Wild and Lutz Schröder: A Quantified Coalgebraic van Benthem Theorem, In Stefan Kiefer, Christine Tasson, eds.: Foundations of Software Science and Computation Structures - 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Lecture Notes in Computer Science, vol. 12650, pp. 551–571, Springer, 2021. [bibtex] [doi]
2020
[4]	Paul Wild and Lutz Schröder: Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions, In Igor Konnov, Laura Kovács, eds.: 31st International Conference on Concurrency Theory, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference), LIPIcs, vol. 171, pp. 27:1–27:23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [bibtex] [url] [doi]
2019
[3]	Paul Wild, Lutz Schröder, Dirk Pattinson and Barbara König: A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic, In Sarit Kraus, ed.: Proc. International Joint Conference on Artificial Intelligence, IJCAI 2019, ijcai.org, 2019. to appear [preprint] [bibtex]
2018
[2]	Paul Wild, Lutz Schröder, Dirk Pattinson and Barbara König: A van Benthem Theorem for Fuzzy Modal Logic, In Anuj Dawar, Erich Grädel, eds.: Proc. 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, pp. 909–918, ACM, 2018. [preprint] [bibtex] [url] [doi]
2017
[1]	Paul Wild and Lutz Schröder: A Characterization Theorem for a Modal Description Logic, In International Joint Conference on Artificial Intelligence, IJCAI 2017, IJCAI/AAAI, 2017. [preprint] [bibtex] [url] [doi]