Florian Frank

About Me

I am a PhD student 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 for presheaf toposes with a detailed look on (renaming) nominal sets. I am also a member of the Research and Training Group 2475 „Cybercrime and Forensic Computing“ and look at where my research 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 – Now

    Preliminary Title: Investigations into Automata 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


2025
[3] Alternating Nominal Automata with Name Allocation (Florian Frank, Daniel Hausmann, Stefan Milius, Lutz Schröder, Henning Urbat) In: Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2025) (to appear)
bibtex Preprint PDF 
@inproceedings{FHMSU25,
  author       = {Florian Frank and Daniel Hausmann and Stefan Milius and Lutz Schr{\"o}der and Henning Urbat},
  title        = {Alternating Nominal Automata with Name Allocation},
  booktitle    = {Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science ({LICS} 2025)},
  editor       = {Lars Birkedal and Barbara K{\"o}nig},
  year         = 2025,
  publisher    = {{IEEE} Computer Society},
  note         = {to appear},
  preprinturl  = {https://arxiv.org/abs/2408.03658},
}
2023
[2] Positive Data Languages (Florian Frank, Stefan Milius, Henning Urbat) In: Proc. 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), 272, 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},
  title        = {Positive Data Languages},
  booktitle    = {Proc. 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)},
  editor       = {J{\'e}r{\^o}me Leroux and Sylvain Lombardy and David Peleg},
  year         = 2023,
  month        = {August},
  publisher    = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"{u}}r Informatik},
  series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
  volume       = 272,
  pages        = {48:1--48:15},
  isbn         = {978-3-95977-292-1},
  issn         = {1868-8969},
  url          = {https://drops.dagstuhl.de/opus/volltexte/2023/18582},
  urn          = {urn:nbn:de:0030-drops-185828},
  doi          = {10.4230/LIPIcs.MFCS.2023.48},
  preprinturl  = {https://arxiv.org/abs/2304.12947},
  annote       = {Keywords: Data Languages, Register Automata, MSO, Nominal Sets, Presheaves},
}
2022
[1] Coalgebraic Semantics for Nominal Automata (Florian Frank, Stefan Milius, Henning Urbat) In: Proc. Fifteenth International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022), 13225, 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    = {Proc. Fifteenth International Workshop on Coalgebraic Methods in Computer Science (CMCS 2022)},
  booktitlefull = {16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings},
  editor       = {Hansen, Helle Hevid and Zanasi, Fabio},
  publisher    = {Springer},
  address      = {Cham},
  isbn         = {978-3-031-10736-8},
  year         = 2022,
  month        = {July},
  series       = {Lect.~Notes Comput.~Sci.},
  volume       = 13225,
  pages        = {45--66},
  url          = {https://link.springer.com/chapter/10.1007/978-3-031-10736-8_3},
  doi          = {10.1007/978-3-031-10736-8_3},
  preprinturl  = {https://arxiv.org/abs/2202.06546},
}
generated by publistgen.py