M. Fenech

Papers

Total Citations

H-Index

About

M. Fenech is a researcher whose work sits at the intersection of trustworthy computing, autonomous systems, and runtime verification. Their most-cited paper, "Runtime Verification for Trustworthy Computing" (2023), addresses a critical challenge in modern computing: as autonomous and robotic systems are entrusted with increasingly sensitive tasks, ensuring their reliability becomes paramount. Fenech’s contribution lies in proposing runtime verification as a natural and effective approach for monitoring and enforcing desirable properties in communication protocols, thereby preventing potentially catastrophic failures. While their citation count is still growing—with the flagship paper currently at 2 citations—this work represents a foundational step toward building verifiably trustworthy autonomous systems. Fenech’s research is particularly relevant for students and engineers working on safety-critical applications, from self-driving cars to medical robots, where a single software fault can have severe consequences. By bridging formal verification methods with real-time system monitoring, Fenech is helping to shape a future where we can confidently delegate sensitive tasks to machines. Their ongoing work continues to explore how runtime verification can be scaled and integrated into complex, distributed autonomous architectures.