Online presence

Personal website
Github profile

Status

I am a freelance programmer and writer.


Past

I was a Ph.D. student at the Computer Laboratory of the University of Cambridge under supervision of Alan Mycroft. I was working on linear types and their use for system programming.

I submitted my first year report and my thesis.

I was a student of Magdalene college and was involved in the MCR committee.

I was an intern at the Gallium team at INRIA, working on intermediate representations for compilers (especially functional ones such as CPS and ANF) under supervision by Xavier Leroy.

I was a student at the ÉNS Cachan (more specifically at its Brittany extension) in Computer Science.

I was an intern at the Computer Laboratory of the University of Cambridge. The internship featured different aspects of the Mirage project (notably the use of linear types for efficiency and functional reactive programming for dynamic reconfiguration) and was supervised by Anil Madhavapeddy and hosted by Jon Crowcroft

I was a student at Paris 7 Denis Diderot University in both Computer Science and Mathematics.


Misc

Projects I have contributed to: Lwt, Ocsigen, Mirage.

Software repository: github.

I use Archlinux, suckless tools, vim, acme and other things.