Home Publications Teaching




Bastien Maubert
mail: first name [DOT] second name [AT] gmail [DOT] com

I am currently a postdoctoral fellow at the Università degli Studi di Napoli Federico II, in the Dipartamento di Ingegneria Elettrica e Tecnologie dell'Informazione. I work in the Formal Methods group lead by Aniello Murano on the project LoGIcInMAS (Logics and Games for Imperfect Information in Multi-Agent Systems), for which I obtained a Marie-Curie Individual Fellowship. The aim is to extend the flourishing Strategy Logic, first introduced by Chatterjee, Henzinger and Piterman, to take imperfect information into account.

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. I have then been a CNRS postdoctoral fellow at LORIA in Nancy, in Hans van Ditmarsch' team CELLO (Computational Epistemic Logic in Lorraine), working on his ERC project Epistemic Protocol Synthesis.

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

My full resume here.