I'm a software engineer at Tarides in Paris, France, working on open-source systems 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 and software verification; I'm currently learning the Coq proof assistant.
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)
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)
- Summer 2023 Supervisor for Hoare Logic and Model Checking.
- Spring 2023 Supervisor for Logic and Proof.
- Autumn 2022 Supervisor for Introduction to Graphics.
(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.)