Supervision of Student Projects and Thesis

Supervised Theses and Projects

• Project: Implementing symbolic Parikh images in OSTRICH
• Project: Local search for the membership problem in finite automata
• Bachelor’s Thesis: Implementing local search for the theory of strings
• Project: Categorizing SMT-LIB QF_Strings benchmarks based on attributes