Name:Georges-Axel Jaloyan

Bio:

I am a member of the Corps des Mines at the French Ministry of the Economy. My research applies formal methods to software security. Previously at the Automated Reasoning Group at AWS, I helped formally verify Amazon’s core authorization engine using Dafny. I hold a PhD from ENS-PSL, with work including new exploitation techniques for the RISC-V architecture.

Country:France

Affiliation:Ministère de l'Économie et des Finances

Research interests:Formal methods, Cybersecurity,