Search

Karoliina Lehtinen
  • Home
  • Research
  • Publications
  • Teaching
  • Contact
Avatar

Karoliina Lehtinen

Researcher

CNRS, 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 complexity.

The best way to contact me is by email: lastname at lis-lab dot fr .

You can also try your luck and show up in 0510 in TPR2, Campus Luminy, Marseille. At the moment, I recommend you stick to emails.

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.

As of January 2020, I have joined the CNRS, in the MoVe group at LIS, in Marseille, which, it turns out, is even sunnier than Liverpool.

I am also taking part in the Theoretical Foundations of Computer Systems program by the Simons Institute.

Powered by the Academic theme for Hugo.

Cite
Copy Download