معرفی
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.
حوزههای پژوهشی
۰مقاله منتشرشده
Louis Mandel در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Marc PouzetNational and Kapodistrian University of Athens · استاد- FFrédéric BessonInria · پژوهشگر
- JJan ChristiansenFlensburg University of Applied Sciences · استاد
- TTimothy Peter BourkeÉcole Normale Supérieure · عضو هیئت علمی
Xavier LeroyParis Sciences et Lettres University · استاد
Magnus MyreenUniversity of Cambridge · پژوهشگر