Khaza Anuarul Hoque

Papers

Total Citations

H-Index

About

Khaza Anuarul Hoque is a leading researcher in formal methods and cyber-physical systems, with a focus on temporal logic and hyperproperties for control and verification. His work centers on Time Window Temporal Logic (TWTL), a rich language for specifying time-bounded tasks in dynamic systems like robotics and autonomous vehicles. Hoque’s major contributions include pioneering runtime monitoring techniques for TWTL, enabling real-time verification of complex temporal behaviors, and extending TWTL to hyperproperties—a framework that reasons about multiple computation traces simultaneously, crucial for security and performance in domains like smart grids and automotive systems. His 2022 paper on runtime monitoring of TWTL has garnered 12 citations, while his 2023 work on motion planning using hyperproperties for TWTL has 8 citations, reflecting growing interest in his innovative approaches. Notably, he introduced HyperTWTL, a novel extension that bridges hyperproperties with temporal logic, offering new avenues for verifying safety and security in multi-agent systems. Hoque’s research is highly impactful, with his papers collectively cited over 23 times, and his work is recognized for advancing the theoretical foundations and practical applications of formal methods in engineering.