Benedetto Intrigila

Papers

Total Citations

H-Index

About

Benedetto Intrigila is a computer scientist whose research spans formal verification, control systems, and the theoretical foundations of programming languages. His work is particularly noted for advancing the integration of formal methods into practical automation and robotics, as demonstrated in his contributions to the proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics (ICINCO-11), which has garnered 20 citations. Intrigila’s major contributions lie in developing rigorous mathematical frameworks for verifying the correctness and reliability of complex systems, especially those involving real-time constraints and concurrent processes. He has also explored the semantics of programming languages, offering insights into type theory and computational logic. His impact is reflected in the sustained citation of his work by researchers in both academia and industry, who rely on his methods to ensure safety-critical systems behave as intended. Notable achievements include his role in shaping the curriculum for formal methods education and his collaborative projects that bridge theoretical computer science with engineering applications. Intrigila’s research continues to influence the design of robust, verifiable systems in robotics and automation.