I am a postdoctoral researcher at École Normale Supérieure de Lyon, working in the PLUME. I conduct research there primarily with Colin Riba. On the proof theory of monadic second-order logic. And did my PhD with Alessio Guglielmi. So far my research has focussed on proof theory.

I study the foundations of computer science. Based on the Gabbay-Pitts model of naming and abstraction in Fraenkel-Mostowski set theory. You can look at Murdoch J. Or see my publications online. Deputy editor-in-chief of the Journal of Logic of Computation. Editor on the Journal of Applied Logics. Please consider submitting a paper to CSL 2018.

Project aims the development of a new system for symbolic and analytic computations, on the basis of the. Nowadays, two kinds of mathematical computation system have met a great success. Historically, we find the numerical computation systems, such as. These systems allow for the approximate resolution of analytic problems, such as the integration of differential equations. On the other hand, we find the symbolic computation systems, such as. This webpage is part of the.

Is a free computer algebra and analysis system under development. It consists of the following ingredients. Provides a new high level language. Which is imperative, strongly typed, with polymorphim and parametrized types. Easy to embed into other applications and to extend with existing libraries written in other languages like C or C . An interesting feature is that this extension mechanism supports template types. In the future, the.