Research focuses on trustworthy machine learning and timing‑predictable computing. Develops certifiable defenses against adversarial and backdoor threats, WCET‑aware memory/scheduling methods, and video‑based sensing models for healthcare to enable safe, real‑time cyber‑physical applications.