Status

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

I submitted my first year report.

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


Past

I have been 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 have been a student at the ÉNS Cachan (more specifically at its Brittany extension) in Computer Science.

I have been 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 have been a student at Paris 7 Denis Diderot University in both Computer Science and Mathematics.


Misc

Projects I have contributed to: Ocsigen, Mirage.

List of projects I am considering contributing to.

Software repository: github.

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

I am interested in Byzantium linux.

I can be sent emails to at .