Automata-Based Methods
If you liked these courses there is a good chance that you might be interested in a doing a thesis on Automata-Based Methods!
Descriptions of possible thesis projects on model learning and testing (both at BSc and MSc level) can be found here.
