Dr. Munyque Mittelmann, post-doc at the DIETI ASTREA laboratory, directed by professor Aniello Murano, won the international award "The KR Early Career Award".
The prestigious award was presented to her on 6 September 2023 at the International Knowledge Reasoning Conference (KR 2023) which, this year, was held in Rhodes, Greece. The Knowledge Reasoning community deals with foundational aspects of computer science and in particular Artificial Intelligence. The most important works of the reference community are presented at the annual KR conference, a highly prestigious and selective conference, among the main ones in Computer Science and for this reason rated A*.
The motivations for the award are based on the highly significant work done by Dr. Mittelmann in the field of formal strategic reasoning, during the PhD and during the postdoc period. In practice, formal methods and logics for strategic reasoning were used for the first time to define, analyze and solve Mechanism Design problems, thanks to the synergy with the research work of prof. Murano. In fact, a particular mention was attributed to the use of Strategy Logic, a formalism developed by Professor Aniello Murano, in collaboration with several students and colleagues, which has been attracting enormous attention from the artificial intelligence community for over a decade.
Dr. Mittelmann obtained her PhD from the University of Toulouse in 2022 obtaining the prize from the French National Artificial Intelligence Association AIFA as the best thesis of the year 2022 (https://afia.asso.fr/les- prix-de-these-en-intelligence-artificielle/). Throughout the PhD period, Dr. Mittelmann worked in synergy with the ASTREA laboratory, also thanks to an internship carried out in the DIETI in the autumn of 2020. Since 1 October 2022, Dr. Mittelmann has been a post-doc researcher at the ASTREA laboratory, first at apply to the PRIN 2020 project of which the prof. Murano is the head of the research unit of the University and, from 1 August 2023, as part of a two-year research project H2020 Marie Curie, SEAL, which Dr. Mittelmann won together with prof. Murano (https://sites.google.com/view/mittelmann/seal).