People
Software Engineer
I am a Software Engineer at Meta. Before Meta, I was at Inria (Institut national de recherche en sciences et technologies du numérique) as a Research Engineer.
Static program analysis, formal methods