Name:Julien Lehmann

Bio:

I am a research engineer at CEA List in a lab focused on Trustworthy AI. I am interested in topics that can be linked with Neural Network Verification, in particular, linear arithmetic and convex relaxation.

I am one of the developper of the Neural Network Verification tool PyRAT.

In 2021, I received my master’s degree in mathematics for AI from Paris-Saclay University.

Country:France

Affiliation:CEA, LIST, France

Research interests:Trustworthy AI, Neural Network Verification, Convex Relaxation