Bastien Maubert

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

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

I am currently in my third year of PhD at IRISA (Institut de Recherche en Informatique et Systèmes Aléatoires), in the team Logica, and I am supervised by Sophie Pinchinat and Guillaume Aucher .

My research interests are 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 (model checking, program synthesis, verification, certification...)

My resume