Hello, I'm Tom Favereau

Turku university

Visiting researcher, working with Ville Salo

• Working on the arithmetical complexity of the sensitivity problem for cellular automata
• In our recent preprint, we answered Sablik and Theyssier's question, showing that the sensitivity problem is Pi^0_2-complete in one dimension and Sigma^0_3-complete in higher dimension.

CEA (hight commision for nuclear energy)

Research engineer intern

• Study of a software for sodium/water reaction.
• Some difference on floating point operation with different version of libc here.

LORIA/INRIA

Master 1 project at Mines Nancy Engineering school, working with Mathieu Hoyrup

• First experience in academic research.
• We develop a theory of local generation for tiling. In our first preprint, we developed tools to prove that a subshift is or is not locally generable. In our second preprint, we used those tools to classify even bicolor tilesets.