Maxime Derri

I'm a PhD student working on the verification of eBPF programs, at Inria and Orange.