Umair Siddique

Umair Siddique

Ph.D. Formal Methods

{Safety} × {Robotics} × {AI}

DBLP
The Mission

PhysicalAI := {Robotics} × {AI}

Guarantee

∀system∈PhysicalAI.

deployed(system)⟹

always(safe(system))

Physical AI's societal impact demands trustworthy deployment