Mickaël LAURENT is a French researcher in computer science currently working at Charles University with Jan Vitek. He completed his PhD in 2024 at Université Paris-Cité under Giuseppe Castagna and Kim Nguyen, focusing on polymorphic type inference for dynamic languages. His research combines parametric polymorphism, ad-hoc polymorphism, and subtyping in set-theoretic type systems. Affiliation: Charles University (Prague, Czech Republic) Previous Affiliation: Université Paris-Cité (IRIF & LMF) Research Interests span dynamic language type systems, occurrence typing, set-theoretic types, and traceability analysis. His work integrates union elimination, intersection type introduction, and type narrowing techniques to create sound and terminating type reconstruction algorithms. Scientific Awards : 1st Place, 2025 Thesis Award (GDR GPL) Teaching Experience includes courses on network programming (TCP/UDP sockets), binary machine principles (IEEE-754, cryptography), object-oriented programming in Java, web development (HTML/CSS/PHP), and Python programming for mathematics students. He also contributes to outreach programs like Fête de la Science. Projects include a type checker prototype for dynamic languages, the Modular Set-Theoretic Types Library (SSTT), Arbitrary Code Execution tools for Pokémon games, and a level editor for Kuru Kuru Kururin. His work bridges academic research with practical reverse engineering challenges.








