Mohammad Atif Farid

University of North Carolina at Charlotte

Papers

Total Citations

H-Index

About

Mohammad Atif Farid is a researcher whose work centers on formal verification and reconfigurable systems, with a particular focus on ensuring the reliability and correctness of adaptive computing architectures. His most-cited paper, "Formal Verification of Reconfigurable Systems" (2023), has garnered 5 citations, reflecting early interest in his approach to applying rigorous mathematical methods to dynamic system design. While this publication has since been retracted, it underscores his engagement with high-stakes challenges in system validation. Farid’s contributions aim to bridge the gap between theoretical verification techniques and practical reconfigurable hardware, addressing critical issues in safety-critical applications. His research has the potential to influence fields like embedded systems and cyber-physical systems, where adaptability must coexist with provable correctness. Despite the retraction, his work invites further exploration into formal methods for evolving systems, marking him as a developing voice in this niche area.