About me

I am León, a theoretical computer scientist who recently completed his PhD under supervision of Christof Löding at the Chair for Logic and Theory of Discrete Systems at RWTH Aachen University. My research was focused on formal language theory, specifically on learning for $\omega$-regular languages. Additionally, I investigated structural properties of $\omega$-regular languages and different kinds of representations for them. Also, I have a dog named Frieda which you can see on the pictures available here.

Research

My research is in theoretical computer science, with a focus on learning algorithms for ω-automata and related problems in formal language theory.

Publications

• Saturation Problems for Families of Automata
  León Bohn, Yong Li, Christof Löding, Sven Schewe
  ICALP 2025, LIPIcs 346, pp. 146:1–146:19
  doi:10.4230/LIPIcs.ICALP.2025.146 · arXiv:2506.13197

• Constructing Deterministic Parity Automata from Positive and Negative Examples
  León Bohn, Christof Löding
  TheoretiCS 3, Article 17
  doi:10.46298/theoretics.24.17 · arXiv:2302.11043

• Passive Learning of Deterministic Büchi Automata by Combinations of DFAs
  León Bohn, Christof Löding
  ICALP 2022, LIPIcs 229, pp. 114:1–114:20
  doi:10.4230/LIPIcs.ICALP.2022.114

• Constructing Deterministic ω-Automata from Examples by an Extension of the RPNI Algorithm
  León Bohn, Christof Löding
  MFCS 2021, LIPIcs 202, pp. 20:1–20:18
  doi:10.4230/LIPIcs.MFCS.2021.20 · arXiv:2108.03735