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...)