About

• Email: loup dot lobet at inria dot fr
• Position: PhD student at INRIA/CRIStAL (D-DAL team) under the supervision of Laure Gonnord and Charles Paperman 🦆, see here.
• Interests: Concurrency, Parallelism, Formal languages, Programming languages, Compilation, Operating systems.