معرفی
Karoliina Lehtinen is a CNRS Researcher at Aix-Marseille University's Laboratoire d'Informatique et Systèmes (LIS). Her work focuses on theoretical computer science intersections with logic, games, and automata, particularly for verification and synthesis applications.
- Current affiliations: CNRS, LIS, MoVe group
- Active projects: QuaSy (PI), MoVeMnt (Co-PI)
Research Interests:
Specializing in logic and automata theory, her work addresses complexity in modal mu calculus, history-determinism, and quantitative reactive synthesis. She combines game theory with formal methods to tackle verification challenges.
Scientific Awards:
- Marie Skłodowska-Curie Fellow
- Simons Institute Fellow (Theoretical Foundations of Computer Systems program)
Students & Collaborators:
- PhD Students: Olivier Idir (2023–), Vasiliki Kyriakou (2023–)
- Postdocs: Aditya Prakash (2025–)
- Collaborators: Udi Boker, Nathan Lhote, Pierre-Alain Reynier, Benjamin Monmege
۰مقاله منتشرشده
