Josselin Giet webpage
Plan de la page Presentation Contact Adresse mél Adresse postale	Presentation Hi, my name is Josselin GIET [ʒɔslɛ̃]. I am a former PhD graduate in the Antique Team at École normale supérieure & Inria Paris under the supervision of Xavier Rival. My PhD topic was the verification of dynamic data-structures in operating systems with separation logic & abstract interpretation. Since Thursday, October, 26th, I am officially a doctor of École normale supérieure - PSL University The manuscript is available on HAL Now, I am a develloper at AbsInt Contact Adresse mél `(fun first last domain tld -> first^"."^last^"@"^domain^"."^tld) "josselin" "giet" "ens" "fr"` hint Adresse postale DI - Ecole Normale Supérieure 45, rue d’Ulm 75230 Paris Cedex 05 - France Bureau: 2nd floor, « escalier de la direction », see the maps Page generée le 23-01-2025 à 16:48. TOP

Josselin Giet webpage

Presentation

Hi, my name is Josselin GIET [ʒɔslɛ̃]. I am a former PhD graduate in the Antique Team at École normale supérieure & Inria Paris under the supervision of Xavier Rival.

My PhD topic was the verification of dynamic data-structures in operating systems with separation logic & abstract interpretation.

Since Thursday, October, 26th, I am officially a doctor of École normale supérieure - PSL University

The manuscript is available on HAL

Now, I am a develloper at AbsInt

Contact

(fun first last domain tld -> first^"."^last^"@"^domain^"."^tld)
  "josselin" "giet" "ens" "fr"

DI - Ecole Normale Supérieure

45, rue d’Ulm

75230 Paris Cedex 05 - France

Bureau: 2nd floor, « escalier de la direction », see the maps