🔍
Universities Open Search Directory ➔
🏛️ INRIA
Rocquencourt, France
Dr. Yannick Z***
✓
🟢 Active Research Lab • Accepting 2026–2027 Inquiries

Dr. Yannick Z***

Directeur de recherche
📍 Laboratoire de l'Informatique du Parallélisme • INRIA
440
Total Citations
7
H-Index
36
Peer-Reviewed Works

🔬 Primary Research Focus & Keywords

Modulo Async-await Coq Rocq Formal verication Helix Verified Compilation Cyber-physical Control Systems Rocq proof assistant Actor Model Confluence Programming languages Layers Actors Journ Francophones Langages Applicatifs Proof Assistant Program Verification Temporal Logic Semantics Theory of computation → Program verification Program specifications Formal Verification CCS Concepts Structural Temporal Logic Mechanized

📚 Laboratory Publications & Research Record

2024 Peer-Reviewed Article 📊 22 citations

Advancements in Modulo: Contemporary Methods & Empirical Analysis

📖 Journal of Laboratoire de l'Informatique du Parallélisme
2024 Peer-Reviewed Article 📊 13 citations

Algorithmic Frameworks for Async-await: Systematic Experimental Evaluation

📖 Transactions on Modulo
2023 Peer-Reviewed Article 📊 30 citations

A Comprehensive Review of Coq in Higher Education and Industry

📖 International Annals of INRIA
Unlock Full Profile

Sign up free to view verified email, lab website, and complete publications.

Sign Up Free ➔
52 free unlocks/year • Sign in

👥 Other Supervisors in Laboratoire de l'Informatique du Parallélisme

Loris M***
Loris M***
Chargé de recherche • Laboratoire de l'Informatique du Parallélisme
📊 440 citations • h-index 7
 Alain P***
Alain P***
Chargé de recherche • Laboratoire de l'Informatique du Parallélisme
📊 440 citations • h-index 7
 Ludovic H***
Ludovic H***
Chargé de recherche • Laboratoire de l'Informatique du Parallélisme
📊 440 citations • h-index 7
 Yves R***
Yves R***
Professeur des universités • Laboratoire de l'Informatique du Parallélisme
📊 440 citations • h-index 7