Fabio Papacchini

Dr. Fabio Papacchini is a Senior Lecturer in Computer Science at Lancaster University. His research focuses on modal logic, automated planning, formal verification, agent systems, and ontology-mediated querying. He contributes to theoretical foundations of logic and their applications in artificial intelligence and software engineering. Papacchini is actively involved in the Security Lancaster research groups, specifically in Software Security and Systems Security domains.

His recent work includes advancements in modal logic reduction techniques, efficient model construction, and formal verification of autonomous systems. He has published extensively in top-tier conferences and journals, with notable contributions to automated planning, BDI agents, and runtime verification frameworks. Current projects include fostering professional development through collaborative academic initiatives.

Awards and recognitions are not explicitly listed in the provided texts. Papacchini’s research has been supported by grants and collaborations, though specific funding details are not detailed here. He is affiliated with the Department of Computer Science at Lancaster University and maintains an active presence in international academic communities.