PresentationHi, my name is Josselin GIET [ʒɔslɛ̃]. I’m a PhD student at École normale supérieure & Inria Paris under the supervision of Xavier Rival. I’m working on the verification of dynamic data-structures in the Linux Kernel with separation logic & abstract interpretation. ContactAdresse mél
Adresse postale
see the maps |