Hi! =^^=

I'm Opale, a PhD student at Imperial College London, supervised by Dr. Azalea Raad. I focus on programming languages and formal methods, in particular for bug-finding and real-world applications.
I'm currently working with Dr. Sacha-Élie Ayoun on Soteria, a symbolic execution library in OCaml, where I lead the development of Soteria Rust.

Outside of research I enjoy webdev, baking and music! I sometimes write some articles for Acouphène, a small French music collective.