Skip to main content

Benoît Barbot

Personal photo - Benoît Barbot

Dr Benoît Barbot

Research Assistant


I am currently post-doctorate researcher at the University of Oxford on the VERIWARE project 


I did my PhD under the supervision of Serge Haddad and Claudine Picaronny on rare event handling in the statistical model checking. Details on my defense can be found here.

Selected Publications

View AllManage publications