Maxime Bridoux

I am a PhD student in Computer Science at INRIA Rennes, team HYCOMES.

My fields of interest notably include :

• formal methods
• symbolic computation

I am a teaching assistant at ENS Rennes, from which I graduated. I was also a part-time contract teacher at EPITA Rennes.