Flavien BREUVART

Assistant Professor at LIPN
## Contact

Office A209

LIPN, UMR CNRS 7030

Institut Galilée - Université Paris 13

99, avenue Jean-Baptiste Clément

93430 Villetaneuse

flavien[dot]breuvart[at]lipn.univ-paris13.fr

## 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