Etienne Marion

My name is Etienne Marion. I am a graduate maths students from ENS de Lyon, currently doing an internship at MAP5 in Université Paris-Cité under the supervision of Félix Foutel-Rodier. I will start my PhD in September under his supervision as well.

I am interested in probability theory applied to biology. More precisely, I am studying questions related to population genetics, including Wright-Fisher-like models, coalescent processes, and neutral fractions.

I am also interested in formalization of probability theory using the proof assistant Lean. I am part of the reviewer team of the Mathlib library.