|
-
Aniello Murano
-
-
Aniello Murano is a Professor
in Computer Science at the
Dipartimento di
Ingegneria Elettrica e delle Tecnologie dell'Informazione of the
Università degli Studi di Napoli Federico II.
-
His research interests include:
Artificial Intelligence;
Formal Aspects for the Strategic Reasoning in Multi-Agent Systems under Perfect and Impferfect Information;
Specification, Verification, and Synthesis of Reactive Systems, Model Checking and Module Checking;
Formal Languages, Automata Theory, Real-time Systems, Pushdown and Hierarchical Systems;
Temporal and Modal Logics, Logics for the Strategic Reasoning in AI;
Game Theory, Parity Games, Solution Concepts, Automated Mechanism Design.
|
In KR Top 100, best AI-2000 world researchers (see AMiner webpage). 