My topics of research include classical realizability, denotational semantics of programs and other subjects connected to mathematics, computer science and logic.

Publications

In preparation

Talks