Google’s Schindler Invests in UK Automated Reasoning Startup #1 Post by codeodor » Fri, Aug 12, 2016, 7:48 PM UTC Google’s Schindler Invests in UK Automated Reasoning Startupmarketsmedia.com