Munyque Mittelmann

I am a postdoc at Università degli Studi di Napoli Federico II where I work in the Automated Strategic Reasoning (ASTREA) group led by Aniello Murano. I did my PhD in Computer Science at Université Toulouse 1 Capitole - IRIT, under the supervision of Laurent Perrussel. I am interested in logics for multiagent systems (temporal, epistemic, dynamic, ?), theory of computation, formal verification, synthesis, and mechanism design. Check my website for updated information: https://sites.google.com/view/mittelmann/home

Pos-doutoranda no grupo Automated Strategic Reasoning na Università degli Studi di Napoli Federico II. Doutora em Ciência da Computação pela Université Toulouse 1 Capitole. Mestre em Ciência da Computação pelo Programa de Pós-Graduação em Ciência da Computação da Universidade Federal de Santa Catarina (2019). Tenho interesse em lógicas para sistemas multi-agentes (temporal, epistemica, dinâmica, ...), verificação formal e teoria dos jogos. Veja meu site com informações atualizadas: https://sites.google.com/view/mittelmann/home