Arnaud Golfouse

https://home.lmf.cnrs.fr/Perso/ArnaudGolfouse

PhD student, working on @creusot-rs ; Rust enthusiast