6月27日，国外媒体报道，DiffBlue是从牛津大学孵化出来的人工智能初创公司，致力于用AI技术来检查和纠正代码。DiffBlue的A轮融资已经筹集了2200万美元（1730万英镑）的资金。
A轮由高盛主要战略投资牵头，牛津科技创新和牛津技术与创新基金共同领导。
DiffBlue公司由牛津计算机科学教授Daniel Kroening和萨塞克斯大学计算机科学教授Peter Schrammel共同创立。
目前，人类开发人员必须编写测试代码，才能在软件中找到错误。根据Daniel Kroening的说法，编程人员不是很喜欢测试代码，因为它是密集型劳动，而不是编码本身。这有点像要求小学生在上课前站起来阅读文章，然后解释文章的错误。
Daniel Kroening补充说，“测试有着巨大的价值，因为用户不想使用错误的软件，然而测试代码真的会让开发人员脾气非常暴躁。
“测试不是拼写检查。就像检查作者的文章，如果说美国总统是唐老鸭，当然是错的，但拼写检查没错就不会标记出来。测试并不意味着找到打字错误，它们是为了识别不适当行为，这与句法中没有意义的句子一样。”
创业公司表示，其技术被英国所有主要银行所使用，由于公司协议的保密性质，其余的无法透露。
DiffBlue公司位于牛津大学，其大部分员工来自此大学。它将在伦敦开设一个新办事处，雇用销售和营销人员，希望明年扩大到旧金山。
Daniel Kroening告诉科技媒体，公司有野心上市而不是出售。英国很多公司都卖得太早，这是我们想要避免的事情。
责任编辑：吴一波
为您推荐
应给物联网植入人工智能的基因
从09年起在全球范围内出现物联网的概念，代表信息化发展方向。物联网(TheInternetofthings)的概念是在1999提出的，它的一般定义是：把所有物品通过射频识别(RFID)、红外感应器、全球定位系统(GPS)、激光扫描器等信息传感设备与互联网连接起来，进行信息交换和通讯，实现智能化识别、定位、跟踪、监控和管理。2005年11月17日，在突尼斯举行的信息社会世界峰会(WSIS)上，国际电信联盟(ITU)发布了(ITU互联网报告2005:物联网》，正式提出了“物联网”的概念。报告指出，无所不在的“物联网”通信时代即将来临，世界上所有的物体从轮胎到牙刷、从房屋到纸巾都可以通过因特网主动进
