I am a Master student in Computer Science at École Normale Supérieure of Rennes, pursuing the Parisian Master of Research in Computer Science. My main research interest lies in formal methods for software verification. Currently, I am working on my Master's thesis at the IMDEA Software Institute on topics related to automatic cost analysis of programs by abstract interpretation. This webpage is under construction. Please look at my CV for more informations.

I am always happy to discuss subjects related to my work. Please do not hesitate to contact me through my email address or LinkedIn if you have any questions or propositions.

Félix Ridoux

felix . ridoux at ens-rennes.fr

Computer Science Department
École Normale Supérieure de Rennes


Technical Reports
Plain Academic