Axel Curmi

Papers

Total Citations

H-Index

About

Axel Curmi is a researcher dedicated to ensuring the safety and reliability of autonomous and robotic systems through formal verification methods. His primary research focuses on runtime verification, a technique that monitors system behavior in real time to enforce critical properties and maintain trust in increasingly autonomous technologies. Curmi’s most cited work, "Runtime Verification for Trustworthy Computing" (2023), addresses the pressing challenge of verifying communication protocols in systems entrusted with sensitive tasks—where failures could have serious consequences. By adapting runtime verification to the unique constraints of autonomous platforms, he contributes to building verifiable, resilient architectures for next-generation robotics. Though his publication record is still developing, his foundational paper has already garnered early citations, signaling growing interest in his approach. Curmi’s work sits at the intersection of formal methods, cyber-physical systems, and trustworthy AI, offering practical tools for engineers and researchers seeking to bridge the gap between theoretical guarantees and real-world deployment. His research is particularly relevant for students and practitioners working on safety-critical autonomous systems.