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

Dr. Ludovic H***

Chargé 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 Rocq proof assistant Actor Model Confluence Programming languages Layers Actors Nondeterminism Formal Semantics Interaction Trees Concurrency Choice Trees Representing Reasoning About Nondeterministic Recursive Impure Programs Electrical Rule Checking Integrated Circuits Electro-Static Discharge Electrical OverStress Static Verification Survey Transistor-level Electrical Checking Integrated Circuits

📚 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 Rocq proof assistant 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
 Yannick Z***
Yannick Z***
Directeur 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