I am currently a PhD student in formal verification of programs for the law under the supervision of Sandrine Blazy and Denis Merigoux in Prosecco and Epicure team. I was previously civil-servant for my studies at ENS Lyon in Computer Science. I have a Master’s of Research degree in Fondamental Computer Science (MPRI).
My research interests include:
I am interested in the social impact of computer science. I followed the first year of the Master of Philosophy of science at Paris 1 Panthéon Sorbonne. I did various projects for the popularization of science.
Feel free to contact me to discuss any of the above topics.