Computer Science

Postgraduate research

Viktor Henriksson

Photo of  Viktor Henriksson

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