Jonas Forster - Lehrstuhl für theoretische Informatik 8

About me:

I am a PhD student at the Chair for Theoretical Computer Science under the supervision of Lutz Schröder. My research centres around behavioural distances in coalgebras. I am specifically interested in how equivalences coarser than bisimilarity, like those on the Linear Time-Branching Time Spectrum, generalize to metrics and other sufficiently topological structures. Additionally, I explore tools and techniques for capturing these types of conformances through logical means.

E-Mail: Jonas.Forster[at]fau.de
Room: Martensstraße 3 Erlangen, 11.130
Phone: +49 9131 85-64054

Publications

See also dblp for more regular updates and preprints.

2024
[4]	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]
[3]	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
[2]	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]
2020
[1]	Jonas Forster and Lutz Schröder: Non-Iterative Modal Logics Are Coalgebraic, In Nicola Olivetti, Rineke Verbrugge, Sara Negri, Gabriel Sandu, eds.: 13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020, pp. 229–248, College Publications, 2020. [bibtex] [pdf]