Augustin Lemesle is a research engineer at the Software Safety and Security Laboratory at CEA. He works at the application of formal methods to artificial intelligence safety verification both as part of academic or industrial projects. Since 2019 he has been part of the SPARTA coordination team and since 2020 he has acted as the Technical Manager of the ENSURESEC project.