Doktorand:in
OVERLAY'26: 8th International Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis.
Learning Formal Models of Parametrized Systems
Atomic Gliders and Cellular Automata as Language Generators
International Symposium on Automated Technology for Verification and Analysis (ATVA)
Learning Broadcast Protocols with LeoParDS
National Conference of the American Association for Artificial Intelligence (AAAI)
Learning Broadcast Protocols