🔬 Research > Reports
Théorèmes de préservation pour la logique au premier ordre : localité, topologie et constructions limites.
PhD thesis, 2023.
[pdf] [slides] [video] [audio]
Abstract
My Ph.D ThesisRecrutement et emploi des docteurs dans les administrations publiques.
Report, 2021.
Abstract
Plus de 14 000 docteurs sont diplômés chaque année en France. À l'issue de leur thèse, ils s'intègrent au sein de trois grands secteurs : le monde académique (recherche et enseignement), le privé, ou le secteur public hors académique. Si l'insertion professionnelle dans l’académique ou le privé est régulièrement mentionnée, il semble qu’aucun rapport n’étudie l'emploi et le recrutement dans le public hors académique. Pourtant, l'Enquête emploi en continu (EEC) de l'INSEE estime à plus de 18 000 le nombre de docteurs dans ce secteur (hors doctorats de santé). L'objectif de ce rapport est donc de dresser un état des lieux de l'insertion professionnelle des docteurs au sein des administrations publiques. Il constitue une première réflexion sur un sujet peu étudié et ne prétend pas à l'exhaustivité.Generic Operational Metatheory.
Internship report, 2017.
Abstract
The goal of this internship was to give a systematic study of contextual equivalence in the presence of algebraic effects in a uniform, compact and syntactic way, in the continuation of preexisting work. To reach this objective, we extended a call-by-value PCF with a signature of algebraic effects, and gave an abstract equality between the contextual equivalence for this language and a usable logical relation, independently of the signature itself. Generic meta theorems were then proven using this abstract equivalence. To justify the usefulness of this approach, a direct link with denotational semantics and the work of Plotkin and Power was developed, and signature of mixed non-determinism and probabilities was studied in-depth.Une syntaxe améliorée pour la description de circuits digitaux.
Internship report, 2016.
Abstract
ε