PhD Research Student
Start Date of Studies: 01 october 2018
Supervisor(s): Dr Manfred Kufleitner & Dr Daniel Reidenbach
Viktor graduated from Stockholm University in 2018 with a MSc in Mathematics and holds a BSc in Physics from the same university. He now studies for a PhD in Computer Science at Loughborough university, where he works with fragments of logic over infinite words and their correspondence to recognizable languages and finite semigroups.
- Formal Languages
- Fragments of Logic
- Finite Semigroups