معرفی
Dr. Fabio Papacchini is a Senior Lecturer in Computer Science at Lancaster University Leipzig, affiliated with the School of Computing and Communications and research groups Security Lancaster (Systems and Software Security). He holds a PhD from the University of Manchester, where he was awarded a Doctoral Prize Fellowship, and previously conducted research at the University of Liverpool on projects involving robotics, artificial intelligence, and software systems for nuclear and offshore energy applications.
His research centers on non-classical logics in computer science, with key interests in model theory, automated theorem proving, knowledge representation and reasoning, ontological reasoning, and formal verification. He has made significant contributions to modal logic, spatial logics, and ontology-mediated querying, particularly through reduction techniques and finite model analysis.
The recent publications highlight a strong trend in logical foundations for AI and formal methods, focusing on efficient translations in modal logic, runtime verification of multi-agent systems, and integration of formal techniques with robotics and autonomous systems. His work bridges theoretical logic with practical applications in safety-critical domains.
- Doctoral Prize Fellowship, University of Manchester
Dr. Papacchini has collaborated extensively with researchers such as Ullrich Hustadt, Clare Dixon, Cláudia Nalon, Michael Fisher, and Alessandro Ferrando. While no direct mention of student advising or grants is found, his active publication record and leadership in research projects suggest significant involvement in mentoring and collaborative research. He is associated with formal verification of autonomous systems and has explored applications in robot inspection and battery health management.
He has contributed to the development of declarative languages for agent platforms and has participated in the Multi-Agent Programming Contest, showcasing applied work in automated planning and agent coordination.
حوزههای پژوهشی
