Focuses on energy‑efficient AI across hardware and algorithms: in‑memory and in‑sensor computing, near‑edge/near‑tissue processing, and neuro‑symbolic reasoning with formal verification for multimodal perception. Circuit–algorithm co‑design and model compression enable reliable, low‑latency intelligence on constrained devices.