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
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
team under the supervision of
César A. Muñoz
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 ):
pierre.neron [at] polytechnique ( dot ) org