Soutenance de thèse

English version below

Cette page est dédiée à la soutenance de thèse d’Henri de Boutray. Le titre de la thèse est “Études calculatoires de l’intrication et de la contextualité quantiques dans la perspective de leur vérification formelle” et la soutenance a eu lieu à Besançon, le 16 décembre 2021. La soutenance s’est déroulée en anglais pour tenir compte d’un membre du jury non francophone : Péter Lévay.

Vous trouverez dans le fichier manuscript.pdf le manuscrit de la thèse, et dans le fichier slides.pdf les slides de la thèse.

Enfin, la vidéo de la thèse est toujours disponible sur Twitch à twitch.tv/videos/1236738524 ou dans le lecteur intégré ci-dessous.

PhD defense

This page is dedicated to the PhD defense of Henri de Boutray. The title of the thesis is “Computational studies of entanglement and quantum contextuality properties towards their formal verification” and the defense took place in Besançon, France, on the 16th of December 2021. The defense was in English to accommodate for a non French speaking member of the jury: Péter Lévay.

You will find in the file manuscript.pdf the manuscript of the thesis, and in the file slides.pdf the slides of the thesis.

Finally, the video of the thesis is still available on Twitch at twitch.tv/videos/1236738524 or in the embedded player bellow.

Video

The questions session is available on a different video, at twitch.tv/videos/1236738522.