研究论文
牛津大学教职员工、学生和校友开展的研究在几个世纪以来对世界产生了巨大影响。您可以在下面探索一些最近的例子，了解我们的计算机科学家社区是如何在人工智能、环境和健康等领域做出贡献的。
在带螺旋的研究是计算机科学系出版的为期两年的时事通讯。点击在这里下载最新的杂志。
随着人口老龄化，关节炎是一个紧迫的研究课题。该部门由Irina Voiculescu领导的医学成像小组一直在开发软件，以改进对早期诊断和干预的支持，并打印3D模型，以指导外科医生准备髋关节置换手术。随着髋关节骨性关节炎的进展，早期诊断有助于临床医生缩短患者疼痛的持续时间。
与Alexa和Siri聊天可能会让人觉得无伤大雅，但知道你的对话存储在你无法控制的地方可能会让你感到不安。该部门的一个研究团队正在研究如何通过技术和社交技巧的结合使虚拟助理更受尊重。DPhil学生William Seymour解释道。
当评估儿童在移动设备上玩的游戏时，家长往往会关注内容，而不是收集的信息。然而，正如高级研究员赵军（Jun Zhao）解释的那样，这些应用程序跟踪了大量信息，促使牛津大学的一个团队致力于提高父母和孩子对隐私问题的意识。
牛津大学（University of Oxford）的一个团队表示，让几个人工智能（AI）实体进行协作的关键是让它们独立行动，但要集中训练。DPhil学生Jakob N Foerster和Gregory Farquhar描述了一种由计算机科学家和工程师开发的方法，该方法可以在现实世界中部署学习型多智能体系统。
能够推理和查询大量知识的人工智能（AI）系统为许多高级数据管理应用程序提供了基本的构建块。该系的三位教授推出了一项衍生产品——牛津语义技术，旨在将该技术应用于数据集成和分析。
在一个技术进步可以创造不受欢迎的未来的世界里，对技术的道德和社会后果进行更多研究的需求越来越强烈。正如ORBIT项目官员玛格丽塔·努利（Margherita Nulli）所述，负责任的研究和创新是实现更理想未来的一种方式。
你知道部门的罗伯特·胡克大楼里有一个飞行模拟器吗？DPhil学生马特·史密斯（Matt Smith）描述了计算机科学家团队如何使用它来评估机组人员对网络攻击的反应。
抓取网络的系统遇到新的来源并将事实添加到数据库中，具有巨大的潜在用途。然而，由于缺乏对存储数据的常识，目前限制了它们在实践中的潜力。正如托马斯·卢卡西维茨教授和联合研究员伊斯梅尔·伊尔坎·塞兰解释的那样，牛津大学的研究人员正在努力克服这些限制。
理解和构建统计和机器学习基本结构的新方法是英国皇家学会大学研究员Sam Staton教授的研究领域。在这篇文章中，他解释了他的工作，以理解概率程序作为数学结构意味着什么。
量子计算有可能改变从密码学到人工智能的一系列技术。为了确保这些变化对社会产生积极影响，牛津大学的研究人员正致力于将负责任的研究和创新融入量子项目中，研究员菲利普·英格桑特解释道。
牛津大学有史以来第一届人工智能（AI）博览会展示了该领域取得的巨大进步，并展望了牛津大学的研究方向。这个AI@牛津此次活动汇集了来自学院大学的研究人员，通过一系列演讲、辩论和演示突出了他们的专业知识。计算机科学系主任迈克·伍尔德里奇教授回顾了这次活动。
计算机科学系的Elisa Passini博士、Blanca Rodriguez教授和Patricia Benito博士在《对话》杂志首次发表的一篇文章中探讨了为什么计算机模拟应该取代心脏药物的动物试验。
自动驾驶汽车的安全性取决于控制它们的深层神经网络的准确性。正如Marta Kwiatkowska教授解释的那样，为了验证这些网络的性能，该部门正在开发模型检查技术。
确保机器人在我们的社会中安全有效地行动的一个重要步骤是能够正式表达对人机合作关系的信任。研究人员Morteza Lahijanian写道，牛津大学正在研究如何表达信任的属性。
人们如何与智能机器联系起来，是开发人工智能（AI）研究道德规范需要解决的复杂问题之一。高级研究员保拉·博丁顿（Paula Boddington）描述了目前正在进行的工作、潜在的陷阱和机会。
计算机科学系高级研究员Jason RC Nurse在这篇文章（首次发表在对话中）中强调了与可穿戴小工具和其他物联网设备相关的安全和隐私风险。
迈克尔·伍尔德里奇（Michael Wooldridge）教授描述了他向上议院人工智能特别委员会（House of Lords Select Committee on Artificial Intelligence）作证的经历。
Marina Jirotka教授和高级研究员Helena Webb考虑了政府和社交媒体平台可以做些什么来解决虚假新闻的问题。
更清楚地了解獾的地域习性，可以为扑杀獾的有效性提供重要线索。通过引入不同的技术来收集跟踪数据，来自牛津大学和剑桥大学的一个跨学科团队对獾潜在的相互作用收集了重要的新见解。
为了帮助加快代码编写，许多应用程序开发人员使用通用库，但这可能导致这些库在设备上获得重要权限。DPhil学生文森特·泰勒描述了这个问题以及他在该领域的研究。
牛津大学和柏林技术大学的一个研究团队评估了五个用于Android设备的IMSI捕捉器检测器应用程序的功能。
国防、航空航天和汽车嵌入式软件。
项目：D-RisQ。
牛津大学（University of Oxford）旨在使计算机能够理解和响应复杂的人类请求的研究将为下一代万维网奠定基础，并且已经被全科医生使用。
项目：DBOnto：连接数据库和本体论。
大学和英特尔公司开发了新的方法来检查电子芯片在制造之前是否完成了预期的工作。
支持国际气候建模的安全志愿者计算技术。
项目：BioniC
牛津大学的计算机科学家正在开发一种预测哪些新药可能导致心脏问题的方法。
项目：PreDIC
不断变化的环境和新的节能理念。
项目：HermIT
牛津大学开发的一种软件工具正在使计算机控制的设备和设计更加可靠。
项目：Prism
参加“机器人世界杯”有助于牛津大学的研究人员创造出能够塑造我们未来的技术。
项目：机器人足球
牛津大学开发的分析工具在安全关键和安全系统中发挥着重要作用。项目：Verum
保护数据库免受内部和外部攻击。项目：塞尔诺
用于分析大型数据源的强大查询语言。项目：Semmle
DNA折纸是一种通过折叠DNA链来创建纳米级形状的技术。项目：Microsoft Research studentship&Veriware
基于位精度浮点的嵌入式系统验证
