Home Publications Teaching

Bastien Maubert

I am currently a postdoctoral fellow at the Università degli Studi di Napoli Federico II, in the Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione. I work in the Formal Methods group lead by Aniello Murano, mostly on logics for temporal, epistemic and strategic reasoning in distributed / multiagent systems.

From April 2016 to March 2018 I was lead researcher 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 was to extend 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 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, strategic 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.

E-mail address:
first name [DOT] second name [AT] gmail [DOT] com

Postal address:
Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione
Università degli Studi di Napoli "Federico II"
Via Claudio, 21
80125 Napoli, ITALY