Dr. Paul Wild

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

2024
[10]	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]
[9]	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] [url] [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.: 31th EACSL Annual Conference on Computer Science Logic, CSL 2023, LIPIcs, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023. [bibtex]
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]