Julien Henry

Julien Henry is a seasoned software engineer and researcher with extensive experience in static analysis and programming languages. As a Senior Scientist at GrammaTech from October 2016 to July 2019, Julien contributed to the development of the CodeSonar tool focused on detecting runtime errors and bugs. Julien's academic background includes a Ph.D. from Université Grenoble Alpes, with a thesis on "Static Analysis by Abstract Interpretation and Decision Procedures," and a post-doctoral research position at the University of Wisconsin-Madison. Currently serving as a Senior Software Engineer at MathWorks since July 2019, Julien is involved in enhancing the Polyspace products. Julien also completed various internships, including significant work on SMT-solving and compiler backend implementations.