This site is currently broken for new queries. It seems like some bot hit it and we ran out of exa credits.
Enter your personal website to find others like you. Powered by Exa's "find similar". Built on Val Town.
Mon domaine principal de recherche est celui de la gestion des données incertaines, mais je travaille aussi depuis peu sur des thématiques mêlant …
Here is my (slightly outdated) CV in english or in french.
Just click on the flag at the top right-hand corner.
Application : formalisation de la méthode de éléments finis.
Because programming isn't everything, I also take some time for rock-climbing,
overview of my education, have a look at my C.V. (in french).
The aim of my research is to improve the quality of software through the field of formal methods.
This semantical model accounts for the specificities of the system, and in particular the notion of program equivalence that is used for specifying c…
I am mostly interested in the fields of systems, programming languages and