Bastien Maubert 

Bastien [DOT] Maubert [AT] irisa [DOT] fr

Phone : +33 (0)2 99 84 75 88

I obtained my PhD in January 2014 at Université de Rennes 1. It was prepared in the team LogicA at IRISA, under the supervision of Sophie Pinchinat and Guillaume Aucher. For the moment I continue working in Rennes until August, then in September I will go to Nancy for a six months post-doc with Hans van Ditmarsch in the team CELLO (Computational Epistemic Logic in Lorraine), to work on the project Epistemic Protocol Synthesis. After this I should start another postdoc with Aniello Murano, in Naples.

My research interests include logics dealing with knowledge and strategic abilities (epistemic, temporal, dynamic, alternating logics...), game theory, in particular games with imperfect information, and in general I am interested in problems dealing with the security of systems (program verification, program synthesis...).

My full resume here.