About

Maxime Arthaud is a seasoned software engineer with over 7 years of relevant experience in the industry. He is currently working at Facebook as a Software Engineer, where he is responsible for working on various static analyzers based on Abstract Interpretation. These analyzers include a Java static analyzer to find security vulnerabilities, targeting specifically Android apps, a Python static analyzer to find security vulnerabilities called Pysa, and a Python type checker used by most Python projects at Facebook called Pyre. Maxime's work is part of the Product Security Program Analysis team. Prior to joining Facebook, Maxime worked at NASA as a Software Engineer, where he was responsible for designing and developing new features in IKOS, a C++ static analysis tool based on Abstract Interpretation. IKOS provides a generic and efficient implementation of state-of-the-art Abstract Interpretation data structures and algorithms, such as control-flow graphs, fixpoint iterators, and numerical abstract domains. Maxime implemented many analyses and techniques to improve the precision of the tool, ran several analyses on flight critical software, found dozens of bugs, added a state-of-the-art analysis using function summarization, and implemented variable packing techniques to make numerical relational abstract domains scalable. Maxime has also served as the President of Net7 - Enseeiht Computer Science Club, where he was responsible for maintaining a dozen servers using open source software and virtual machines, developing the Student Association's website using Python/Django (about 20k SLOC), and giving free training courses on Linux, Python, Django, Git, C++, Security, Cryptography, and more. Maxime holds a Master's Degree in Distributed System and Critical Software from Enseeiht - Ecole Nationale Supérieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et des Télécommunications, and completed his preparatory classes in Mathematics and Physics from Lycée du Parc. Maxime's tech stack includes Software Engineer, Python, Research Scientist, Backend, Java, and Android.