Robin

I am a PhD student in the École normale supérieure de Paris, in the PARKAS team, under the supervision of Francesco Zappa Nardelli. I am working on the formalisation and verification of the low-level concurrency primitives in the Linux Kernel.

My interest domain are mostly concurrency, especially lock-free algorithms, and programming languages theory.

Contact

CV

Download

Email

robin [dot] morisset [at] normalesup [dot] org

Phone

+33.6.68.96.51.45 (France)

Address

25 rue d'Arcueil
92120 Montrouge
France