Karoliina Lehtinen
CNRS Researcher, Aix-Marseille Université, LIS
About
I am a CNRS researcher (chargée de recherche) at LIS, Aix-Marseille University.
My main research interests are logic, games and automata, in particular in the contexts of verification and synthesis.
The best way to contact me is by email: lastname at lis-lab dot fr . French, English and Finnish all work.
You can also try your luck and show up in 0510 in TPR2, Campus Luminy, Marseille.
Biography
I spent four years at the University of Cambridge, where Bjarki Holm and Anuj Dawar introduced me to the wonderful world of logics and games. I ended up with an M.A and M.Phil.
After a half-year internship with Google in London, I moved to Edinburgh to join the Laboratory for Foundations of Computer Science. I worked under Julian Bradfield’s supervision on complexity in the modal mu calculus, with Sandra Quickert as my second supervisor. I graduated in July 2017 with a doctorate.
In 2017, I started a post-doc in Kiel, Germany. I spent two years in Dirk Nowotka’s Dependable Systems group, punctuated with a couple of months in Herzeliya, Israel, to work with Udi Boker on automata. In 2019 I moved to sunny Liverpool to join the Verification group where I also spent some time as a Marie Skłodowska-Curie Fellow.
In January 2021, I joined the CNRS, in the MoVe group at LIS, in Marseille, which, it turns out, is even sunnier than Liverpool.
I was a fellow in the Theoretical Foundations of Computer Systems program by the Simons Institute in January 2021.
WORKING WITH ME
Looking for an internship, PhD or post-doc position?
Internship ideas and other problems
PHD STUDENTS
Olivier Idir (2023 – )
Vasiliki Kyriakou (2023 – )
MISC