Patrick Baillot
Présentation
I am a CNRS researcher (Directeur de Recherche) working at the CRIStAL research center, Lille. I am a member of the SyCoMoRES team.
My research interests deal with logic, type systems, semantics of programming languages and complexity analysis.
ANR project HOPR (Higher-Order Probabilistic and resource-aware Reasoning)
Dernières actualités
Propositions stages de Master/ Master internships proposals
Propositions de stage de Master 2 recherche / Master internship proposals
Kleene Algebra with Tests for probabilistic programs (with Leandro Gomes)
Reasoning on the execution time of programs with Kleene Algebra with Tests (with Leandro Gomes)
Semantics and types for synchronous programming with state machines in a multi-periodic setting (with Julien Forget and Sylvain Salvati)
Types for complexity analysis in a process calculus