About
Louis Mandel is a Researcher at Inria, specializing in reactive programming languages and probabilistic systems. He co-developed ReactiveML and Q*cert (a verified query compiler), with applications in chatbots and cloud log analysis. His work bridges formal methods and practical tools for embedded systems.
Research fields
0Publications listed
Find Louis Mandel elsewhere
Related Searches
You Might Also Like
Marc PouzetNational and Kapodistrian University of Athens · Professor- FFrédéric BessonInria · Researcher
- JJan ChristiansenFlensburg University of Applied Sciences · Professor
- TTimothy Peter BourkeÉcole Normale Supérieure · Academic
Xavier LeroyParis Sciences et Lettres University · Professor
Magnus MyreenUniversity of Cambridge · Researcher