Papers

Talk proposals

Talks

PhD Thesis

Thesis

Here is the final version.
[manuscript]

Source code

The source code is spread across three repositories: CoqEAL, LaSalle and mathcomp-analysis.

A snapshot of the code presented in the manuscript is here.

Defense

I defended my thesis on September 30, 2019.

Jury:

Here is my presentation.
[slides]

Internships