Franziska Alber
PhD Candidate, Theoretical Computer Science
Franziska Alber is a PhD candidate in theoretical computer science at the University of Regensburg, supervised by Prof. Dr. Clara Löh and Prof. Dr. Philipp Rümmer.
She works on automata over infinite alphabets, extending classical automata theory to systems that handle data from unbounded domains, as they arise in software verification. Her recent work asks when parametrised automata admit complementation, and gives a normal form that characterises exactly this class.
Current Position
- PhD Candidate
- University of Regensburg, Theoretical Computer Science · University profile
Research Interests
- Automata over infinite alphabets (register automata, parametrised automata)
- Formal verification and model checking
- Complementation and Boolean closure of automata classes
- Software validation via formal methods
Elsewhere
Recent Work
- Publications, including Complementable Normal Form of Parametrised Automata (CIAA 2025, with Philipp Rümmer)
- Master's thesis: Parametrized Automata over Infinite Alphabets: Properties and Complementation (October 2024)