牛津大学孵化的人工智能初创公司 获A轮2200万美

　　原标题：牛津大学孵化的人工智能初创公司 获A轮2200万美元融资

　　6月27日，国外媒体网报道，DiffBlue是从牛津大学孵化出来的人工智能初创公司，致力于用AI技术来检查和纠正代码。DiffBlue的A轮融资已经筹集了2200万美元（1730万英镑）的资金。

　　A轮由高盛主要战略投资牵头，牛津科技创新和牛津技术与创新基金共同领导。

　　DiffBlue公司由牛津计算机科学教授Daniel Kroening和萨塞克斯大学计算机科学教授Peter Schrammel共同创立。

　　目前，人类开发人员必须编写测试代码，才能在软件中找到错误。根据Daniel Kroening的说法，编程人员不是很喜欢测试代码，因为它是密集型劳动，而不是编码本身。这有点像要求小学生在上课前站起来阅读文章，然后解释文章的错误。

　　Daniel Kroening补充说，“测试有着巨大的价值，因为用户不想使用错误的软件，然而测试代码真的会让开发人员脾气非常暴躁。

　　“测试不是拼写检查。就像检查作者的文章，如果说美国总统是唐老鸭，当然是错的，但拼写检查没错就不会标记出来。测试并不意味着找到打字错误，它们是为了识别不适当行为，这与句法中没有意义的句子一样。”

　　创业公司表示，其技术被英国所有主要银行所使用，由于公司协议的保密性质，其余的无法透露。

　　DiffBlue公司位于牛津大学，其大部分员工来自此大学。它将在伦敦开设一个新办事处，雇用销售和营销人员，希望明年扩大到旧金山。

　　Daniel Kroening告诉科技媒体，公司有野心上市而不是出售。英国很多公司都卖得太早，这是我们想要避免的事情。