Hello!


I'm a software engineer at Tarides in Paris, France, working on open-source functional software written in OCaml. Take a look at my GitHub here!

I enjoy making computer science more accessible, whether by writing articles, making fun interactive projects, or just rambling to passers-by. You can check out my blog here.

I have an academic interest in mathematical logic, type theory, and software verification. I'm currently learning the Coq proof assistant.

Relevant Projects


  • Cavalry

    Imperative mini-language in which programs are axiomatically verified by a Hoare logic-based system that proves validity according to a user-provided program specification. (link)

  • Delay-Tolerant Link-State Routing

    Undergraduate dissertation project for the University of Cambridge. Implementing and evaluating a modified link-state routing protocol in C for real Unix routers that is tolerant to failures of links and nodes in the network. (link)

  • Spatially Accelerated Ray-Tracer

    UK high school equivalent final-year project for computer science, implementing a triangle mesh renderer in C++ using a spatial-acceleration data structure to reduce the running time from linear in the number of triangles to logarithmic. (link)

Presentations


  • Porting OCaml to an ARM microcontroller

    Tarides, Aug 2021 (link)

  • Forward and Deferred Rendering

    Churchill College Computer Science talks, University of Cambridge, Jan 2021 (link)

Teaching


(At Cambridge, supervisions are intensive small-group sessions of 1–3 students where concepts are explored in depth, and form a significant part of the teaching of a course — link.)

Personal


  • I take photos for fun, and have them on Flickr.
  • I run for my mental and physical health, having done the Cambridge Half Marathon in 2021 and 2022 raising £660 for Mind, a mental health charity. I am currently training for the 2023 Paris Marathon.