Umair S

Formal Methods x Safety x Robots x AI
Building the foundations for trustworthy autonomous systems

[Umair S @imumairs]

@samlambert hits different when you’ve shipped a real OS running on millions of devices on Earth. and on the ISS. and on SpaceX rockets - long live QNX

[Umair S @imumairs]

The operational design domain (ODD) of humanoid robots is not easy. It is deeply, brutally hard. Anyone who thinks it's easier than autonomous driving is either not building one or not building it right

[Umair S @imumairs]

@KhazaHoque @mizzouengineer @Mizzou congratulations 👏, shall we go to Tim Horton’s 🤣