Dr. Florian Frank

About Me

I am a post-doc in the Theoretical Computer Science Group at the Friedrich-Alexander University of Erlangen and Nürnberg. I am currently researching in the area of automata theory and (ordered) nominal (renaming) sets together with applications of logic in German register law. I was a PhD student in the Research and Training Group 2475 „Cybercrime and Forensic Computing“ and looked at where nominal automata and model checking/generation can be applied in methods of forensics. My current CV can be found here.

Address

FAU Erlangen-Nürnberg
Lehrstuhl für Informatik 8 (Theoretische Informatik)
Martensstraße 3
D-91058 Erlangen
Raum: 11.156
Telefon: +49 (9131) 85-64031
E-Mail: florian.ff.frank[at]fau.de
Pronouns: he / his / him

  • PhD in Computer Science, Nov 2022 – Apr 2026

    Final Grade: Very Good

    Title: Advanced Models and Techniques for Data Languages

    FAU Erlangen-Nürnberg

  • MSc in Computer Science, Apr 2020 – Oct 2022

    Final Grade: Very Good with Distinction (1.0)

    Thesis: Coalgebraic Infinitary Trace Semantics of Nominal Büchi-Automata

    FAU Erlangen-Nürnberg

  • BSc in Computer Science, Oct 2016 – Mar 2020

    Final Grade: Very Good with Distinction (1.1)

    Thesis: Implementation and Analysis of an Algorithm for Computing Canonical Non-Deterministic Automata

    FAU Erlangen-Nürnberg

Publications

2026
[4] Learning Automata with Name Allocation (Florian Frank, Stefan Milius, Jurriaan Rot, Henning Urbat) In: 18th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2026) (to appear)
bibtex Preprint PDF DOI: 10.48550/arXiv.2502.11947 
@inproceedings{fmru25,
  author       = {Florian Frank and Stefan Milius and Jurriaan Rot and Henning Urbat},
  title        = {Learning Automata with Name Allocation},
  booktitle    = {18th International Workshop on Coalgebraic Methods in Computer Science ({{CMCS} 2026})},
  editor       = {Henning Basold and Clemens Kupke},
  publisher    = {Springer, Cham},
  year         = 2026,
  note         = {to appear},
  doi          = {10.48550/arXiv.2502.11947},
  preprinturl  = {https://arxiv.org/pdf/2502.11947},
  keyword      = {pub},
}
2025
[3] Alternating Nominal Automata with Name Allocation (Florian Frank, Daniel Hausmann, Stefan Milius, Henning Urbat, Lutz Schröder) In: Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025)
bibtex PDF Preprint PDF DOI: 10.1109/LICS65433.2025.00012 
@inproceedings{fhmus25,
  author       = {Florian Frank and Daniel Hausmann and Stefan Milius and Henning Urbat and Lutz Schr\"{o}der},
  editor       = {Lars Birkedal and Barbara K{\"o}nig},
  title        = {Alternating Nominal Automata with Name Allocation},
  booktitle    = {Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science ({LICS} 2025)},
  publisher    = {{IEEE} Computer Society},
  year         = 2025,
  doi          = {10.1109/LICS65433.2025.00012},
  preprinturl  = {https://arxiv.org/pdf/2408.03658},
  url          = {https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=11186299},
  keyword      = {pub},
}
2023
[2] Positive Data Languages (Florian Frank, Stefan Milius, Henning Urbat) In: 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), pp. 48:1–48:15
bibtex PDF Preprint PDF DOI: 10.4230/LIPIcs.MFCS.2023.48 
@inproceedings{fmu23,
  author       = {Florian Frank and Stefan Milius and Henning Urbat},
  editor       = {J{\'e}r{\^o}me Leroux and Sylvain Lombardy and David Peleg},
  title        = {Positive Data Languages},
  booktitle    = {48th International Symposium on Mathematical Foundations of Computer Science ({{MFCS} 2023})},
  series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
  number       = 272,
  pages        = {48:1--48:15},
  publisher    = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = 2023,
  doi          = {10.4230/LIPIcs.MFCS.2023.48},
  preprinturl  = {https://arxiv.org/pdf/2304.12947},
  url          = {https://drops.dagstuhl.de/storage/00lipics/lipics-vol272-mfcs2023/LIPIcs.MFCS.2023.48/LIPIcs.MFCS.2023.48.pdf},
  keyword      = {pub},
}
2022
[1] Coalgebraic Semantics for Nominal Automata (Florian Frank, Stefan Milius, Henning Urbat) In: 16th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022), pp. 45–66
bibtex PDF Preprint PDF DOI: 10.1007/978-3-031-10736-8_3 
@inproceedings{fmu22,
  author       = {Florian Frank and Stefan Milius and Henning Urbat},
  title        = {Coalgebraic Semantics for Nominal Automata},
  booktitle    = {16th International Workshop on Coalgebraic Methods in Computer Science ({{CMCS} 2022})},
  editor       = {Hansen, Helle Hevid and Zanasi, Fabio},
  publisher    = {Springer, Cham},
  isbn         = {978-3-031-10736-8},
  year         = 2022,
  month        = {July},
  series       = {Lecture Notes in Computer Science},
  number       = 13225,
  pages        = {45--66},
  doi          = {10.1007/978-3-031-10736-8_3},
  preprinturl  = {https://arxiv.org/pdf/2202.06546},
  url          = {https://link.springer.com/content/pdf/10.1007/978-3-031-10736-8_3.pdf},
}