Events

• 15/07/18, ANR JCJC CoGITARe :
  CoGITARe project accepted by the ANR JCJC, it will start in March. There is a fully funded PhD associated, please contact me if interested.

Research interests

I am interested in operational and denotational semantics for functional programming languages. More precisely I am working on three directions and their interactions :

• Models of pure lambda-calculus: used for studying the lattice of lambda-theories, in particular its interactions with computability theory.

• Quantitative semantics: building parametrised concrete semantics either to extract quantitative information or to model resource sensitive calculi. I am particuliarly interested in probabilistic calculi as well as semantics sensible to complexity and sequentiality.

• Probabilistic (higher order) Rewriting: Understanding probabilistic reduction and termination. More exactly, I am interested in separating classical and probabilistic properties of probabilistic programs so that linear/non-probabilistic invariant that can be towed by lifting standard proof techniques.

By transitivity I am also interested in many related domains: logic, algebra, proof theory, computability theory, complexity theory,.. But also further computer sci- ence domains: language design, circuit design, cryptography protocols (differential privacy)...

Internships and Theses

• 15/07/18: I am looking for intrnship or PhD student. If you are interested, please have a look at the dedicated webpage. We have a fully-funded PhD grant to provide for next september via CoGITARe project

Resume