About Us

Welcome to the ASTREA research center (Automated STrategic REAsoning), an innovative branch of the Department of Electrical Engineering and Information Technology (DIETI) at the University of Naples Federico II. Founded by Professor Aniello Murano, ASTREA is dedicated to advancing research in automated strategic reasoning.

Our mission is to enhance understanding and application of artificial intelligence techniques to analyze and generate optimal strategies in complex and dynamic scenarios. ASTREA's work focuses on improving existing technologies and developing new methodologies to facilitate real-world problem-solving through automated decision-making processes.

Our research spans several key areas including formal methods, which involve rigorous mathematical techniques for designing and verifying computational systems, and multi-agent systems, where autonomous agents interact to achieve individual or collective goals. These fields are pivotal in addressing the challenges faced by automated systems in unpredictable environments.

The ASTREA team consists of a multidisciplinary group of researchers, PhD candidates, and university students, collaborating on cutting-edge projects, publishing significant findings in top-tier international journals and conferences, and engaging in international collaborations to foster knowledge exchange and skills development.

ASTREA is committed not only to producing high-caliber research but also to training the next generation of scientists and professionals, equipping them with the necessary skills to tackle future technological challenges.