Lead the product security at CyberArk. 9 years of experience as a security architect of enterprise and cloud solutions at CyberArk, SAP and General Motors, as well as a senior security researcher. Previously a Senior Software Architect (mainly Cloud and Mobile domains). In my distant past I was an Artificial Intelligence developer of computer games in Canada. Open Source experience as a lead developer in a project in the domain of Provable Software using formal methods and Model Checking (the project led by Microsoft and the University of Washington).