Antoine Bertout

A picture of me
©Inria / Photo G .Scagnelli


  • social icon linkedin
  • social icon github

Inria Paris
2 rue Simone Iff
75589 Paris 12
ORCID: 0000-0001-7590-7342
PGP public key

Short bio

I am currently a postdoctoral researcher at Inria Paris in the AOSTE team. I work on the probabilistic analysis of real-time systems. I am also interested in their synthesis and optimization.

I was a PhD student in Computer Science within the Emeraude team at the CRIStAL laboratory , University of Lille1, France. My thesis was supervised by Julien Forget and Richard Olejnik.

I received my MSc degree in Computer Science from the University of Lille1, France, in 2012.

Besides my professional occupation, and beyond computer science, I practice fencing (épée) for more a long time and I am national referee since the age of eighteen. Swimming and running conclude the list of my main sport activities.

logo Inria