• An operational semantics for self assembly systems. Internship at Southampton University, under the supervision of Pawel Sobocinski.

           Here is a draft of our work.

  • Reversible pi calculus. Internship at PPS, Paris Diderot, under the supervision of Jean Krivine and Daniele Varacca.

           Here are the report and the slides.

  • Integrating arrays into the Heap Hop program prover. Internship at Queen Mary University of London under the supervision of Jules Villard.

           Heap Hop is a prover for concurrent heap-manipulating programs. Reports and slides here.

  • Termination in a pi-calculus with Subtyping. Internship at Plume, ENS Lyon under the supervision of Daniel Hirschkoff.

          Report and slides.