Karoliina Lehtinen

Karoliina is currently a Marie Skłodowska-Curie Research Fellow at the University of Liverpool.
Her main research interests are logic, games and automata in the context of verification. She specialises in the modal mu calculus, parity games and automata on infinite words, but her research also spans topics such as synthesis and runtime verification.

She did her doctorate on the modal mu calculus at the University of Edinburgh, UK, under the supervision of Julian Bradfield and Sandra Quickert. She then spent two years at the University of Kiel, Germany, as a postdoc, punctuated by a couple of months at IDC Herzliya, Israel, before moving to sunny Liverpool, back in the UK.