Jonas Forster

Room: 11.130
E-Mail: Jonas.Forster[at]fau.de
Phone: +49 9131 85-64054

About me:

I am a PhD student at the Chair for Theoretical Computer Science under the Supervision of Lutz Schröder. My research centers around behavioural distances in coalgebras. More specifically I am interested in how equivalences along the Linear Time-Branching Time Spectrum generalize to metrics.

Publications

See also dblp for more regular updates and preprints.

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