Andrea Formisano

Federico II University Hospital, University of Udine, University of Perugia

Papers

Total Citations

H-Index

About

Andrea Formisano is a researcher whose work bridges the domains of haptic computing and multi-agent systems, with a particular focus on logic programming and epistemic reasoning. His contributions are marked by a dual commitment to advancing both the theoretical foundations and practical implementations of intelligent systems. Notably, his most-cited work, "Haptic Data Accelerated Prediction via Multicore Implementation" (2020, 11 citations), demonstrates his ability to tackle computationally intensive problems by leveraging parallel architectures for real-time haptic feedback—a critical area for robotics and virtual reality. In parallel, his research in multi-agent systems, exemplified by "An Epistemic Logic for Modular Development of Multi-Agent Systems" (2022, 3 citations), provides formal tools for reasoning about knowledge and belief in distributed environments, enabling more robust and scalable agent coordination. Formisano has also contributed to the logic programming community through his involvement in the International Conference on Logic Programming (ICLP), a premier venue since 1982, where his work on nonmonotonic reasoning and semantics continues to shape the field. His interdisciplinary approach—combining high-performance computing with formal logic—positions him as a thoughtful contributor to both human-computer interaction and AI theory.