Hi there, welcome! I'm Gabriel. I currently work as a researcher at LaBRI, in Bordeaux, France. My work specializes on the intersection of formal methods and AI, with applications in domains such as code generation (program synthesis), automated theorem proving, and scientific discovery.

Before that, I was an AI researcher at Synboli, an AI-for-Chemistry startup in Bordeaux, France. Previsouly, I got my Ph.D. from the University of Bordeaux and ENS Paris, working at LaBRI with Nathanël Fijalkow and at DI ENS with Tatiana Starikovskaya.

This website is currently under construction.