Site Oueb de Josselin Giet

Presentation

Hi, my name is Josselin GIET [ʒɔslɛ̃]. I'm a PhD student at Inria Paris under the supervision of Xavier Rival and Gilles Muller.

I'm working on the verification of dynamic data-structures inthe Linux Kernel with separation logic & abstract interpretation.

γ(*𝚡list*=(S)𝚢list𝚢list(S))γ(𝚡list(SS)) \gamma\left( * \begin{array}{l} \texttt{x}\cdot{}list *\!\!=_{(S)} \texttt{y}\cdot{}list \\ \texttt{y}\cdot{}list(S') \\ \end{array} \right) ⊆ γ\left( \texttt{x}\cdot list(S\cdot S') \right)

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 étage, "escalier de la direction",

see the maps