Umair Siddique

Umair Siddique is co-founder and CEO of reasonX Labs (www.reasonx.ai). With over 15 years of experience in the design and deployment of safety-critical systems, he has held key roles at Apple's Special Projects Group, Bosch Research and Technology Center, and QNX. He holds a Ph.D. in formal methods and completed a postdoctoral fellowship at the Natural Sciences and Engineering Research Council of Canada, investigating the intersection of formal methods and cybersecurity.