Aymeric Fromherz
Heiko Becker
Description: Research Scientist
I am a research scientist (CRCN) in the SyCoMoRES team at Inria Lille. I hold a Ph.D in computer science, supervised by Antoine Miné .
The aim of my research is to improve the quality of software through the field of formal methods. I aspire to develop and apply methods to the most realistic systems possible.
I previously worked on the static analysis of Python and C programs within the ERC MOPSA project . I am also interested in the interaction between the law and the code, and I have designed with Denis Merigoux a modern compiler for the French tax code, which is being transferred to the French tax administration.
Aymeric Fromherz
Heiko Becker