Pierre Néron

My picture

I am currently a formal methods expert at ANSSI, the French Network and Information Security Agency.
I am also interested in theory of programming languages, proof theory and computation models.

Previously, I was a post-doctoral fellow in the Software Language Design and Engineering project lead by Eelco Visser at TU Delft. I was mainly working on a meta-framework to define static and dynamic semantics of programming languages.
Before that, I was a PhD student at INRIA in the Deducteam team under the supervision of Gilles Dowek (INRIA) and César A. Muñoz at NASA. During this PhD, I defined a program transformation that removes square roots and divisions and proved the semantics preservation of this transformation.

Publications (also on DBLP and Google Scholar):



pierre.neron [at] polytechnique ( dot ) org