Propositions stages de Master/ Master internships proposals

Propositions de stage de Master 2 recherche / Master internship proposals

Logic for differential privacy of functional programs (a PhD grant is available in 2025 by the ANR project HOPR)

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