PhD student in Computing Science with focus on Formal Languages in Artificial Intelligence