For this academic year, I am an ATER (a kind of assistant professor, one-year position) at the Paris VII - Denis Diderot university, which is part of the Jussieu campus. My host laboratory is PPS, where I am dealing with semantics of logic (classical, intuitionistic, linear, first- and higher-order), type theory, cut elimination and normalization. I am also interested in logic with constraints and in rewriting, especially deduction modulo.

The webpage for my techings is in french and can be found here.