伦敦大学学院UCL计算机科学博士项目有哪些？申请要求如何？

UCL计算机科学

博士项目

PhD

伦敦大学学院（University College London，简称：UCL），是一所公立研究型大学，为伦敦大学联盟的创校学院、罗素大学集团和欧洲研究型大学联盟创始成员，被誉为金三角名校和“G5超级精英大学”之一。在2023 年 QS 世界大学排名中，UCL在全球排名第 8 位.UCL 的计算机科学被公认为教学和研究领域的世界领先者。在最新的研究卓越框架 ( REF2021 ) 中，该系在计算机科学和信息学方面的研究实力在英格兰排名第一，在英国排名第二。UCL 计算机科学的博士课程是一个为期 4 年的课程，学生将在研究小组内工作，研究计算机科学发展中的重要和具有挑战性的问题。研究小组涵盖了计算机科学领域的许多前沿课题。下面，学姐带大家来看看这些研究小组及项目。

申请时间及学术要求

申请时间：

第一轮：2023 年 1 月 13 日之前的申请

第二轮：2023 年 4 月 14 日之前的申请

注意：希望获得 UCL 卓越研究奖学金 (UCL-RES) 的申请人需要在 2022 年 12 月 13 日之前提交申请并提交推荐信。

学术要求：

相关学科的英国Merit硕士学位，或相关学科的至少二等一英国学士学位，或同等标准的海外资格。工作经验也可以考虑在内。

国内：本科学校在UCL的list里的，均分至少85%，不在list里的，均分至少90%。商业分析、金融、管理学硕士均可申请这些项目。

语言要求：雅思6.5，小分6.0。

学费：29，000镑/年

可申请的奖学金：CSC-UCL Joint Research Scholarship

Autonomous Systems

自治系统

项目介绍

小组对自治系统的理论、计算和实验方面进行研究。小组在机器学习、强化学习和视觉方面的研究开发了新颖的理论方法，作为自主系统的基础技术推动者。

然后，小组将这些方法部署到真实系统（有时会制造）上，并研究如何使它们在不受约束的现实世界设置中运行时发挥作用。

在此过程中，项目探索并解决了机器人与人交互（例如，协作决策、可解释的人工智能、情感机器人）和机器人与环境交互（例如，传感、控制、映射、集群）中出现的挑战。

小组关注自主系统可以解决的各种现实问题，从手术机器人到太空任务，从应急响应到高级决策。

研究主题

· 非结构化地形中的腿式机器人导航

· 自主机器人空间操作中的故障恢复

· 机器人辅助微创手术的手眼标定

· 算法决策

Bioinformatics

生物信息学

项目介绍

该小组的主要目标是开发和应用最先进的计算技术来解决生命科学中现在出现的问题，尤其是后基因组时代出现的问题。该小组特别强调机器学习技术在生物学问题中的应用。小组还广泛使用了 6000 核 UCL Legion 超级计算机。该小组还拥有一些自己的专用计算设施，以允许维护专门的生物数据库和公众访问集团内部开发的软件和方法。

研究主题

· 蛋白质结构预测

· 蛋白质功能预测

· 蛋白质接触分析

· 再次蛋白质设计

· 跨膜蛋白建模

Financial Computing and Analytics

金融计算与分析

项目介绍

小组使用计算机科学、应用和数值数学、科学计算、计算统计、统计物理学和网络理论的方法研究社会经济系统。我们为市场和系统性风险建立模型，并为在技术与社会的界面上研究新的数字经济奠定基础。

团队在以下领域开展世界一流的研究

· 计算金融

· 金融风险管理

· 区块链技术

· 数字经济

· 系统性风险

· 衍生品的数字定价

· 基于主体的模型

· 经验金融

· 市场微观结构

· 算法交易

· 高频交易

· 数据科学

· 大数据分析

· 数据驱动建模

· 网络分析

· 机器学习

· 人工智能

· 价格形成

· 投资组合优化

Gender and Tech

性别与技术

项目介绍

小组正在从两个角度追求跨学科研究议程：一方面，小组研究性别假设如何以及为何塑造小组的技术系统并影响它们的表示、设计以及使用和控制。

另一方面，小组研究了使数字技术能够构建和强化性别和其他社会类别（例如种族、阶级、年龄或性取向）的动力。

研究主题

· 性别与物联网

· 暴力、健康与社会

· RespondXR：急救人员沉浸式培训的数字漏洞

· 1990 年英国计算机滥用法和家庭暴力和虐待

· 解决技术促进的虐待以保护亲密伴侣暴力的受害者和幸存者

· 暴力、虐待和心理健康网络

Information and Decision Systems

信息和决策系统

项目介绍

信息和决策系统研究小组 (IDS) 在分析信息和决策科学方面进行广泛的研究。我们专注于信息和数据的有效和高效收集、存储、检索、分析和使用，以及后续的计算和分析技术，以自动化和通知决策。

小组目前的研究兴趣包括信息检索和数据挖掘、多主体学习、博弈论、机器决策制定和强化学习、复杂通信和社交网络以及健康人工智能。

外部合作者包括：

· 阿里巴巴

· 亚马逊

· 星幕

· 彭博社

· 英国电信

· 思科

· 滴滴

· 谷歌

· 微软研究院

· 油精

· 英国公共卫生

· 皇家全科医师学院

· Spotify 音乐

· 丹麦史坦顿血清研究所

· 哥本哈根大学

· 世界卫生组织 (WHO)

Information Security

信息安全

项目介绍

小组研究涉及信息安全和隐私的关键技术方面——例如密码学和系统安全——总体目标是提供端到端的安全解决方案，并解决安全、隐私和信任的更广泛的人类、经济和社会方面。

研究主题

· 匿名

· 验证

· 区块链和加密货币

· 计算机安全

· 密码分析

· 密码学

· 网络犯罪

· 网络安全

· 金融密码学

· 安全的人文方面

· 恶意软件

· 网络安全

· 在线危害

· 隐私增强技术

· 可靠性和依赖性

· 安全和隐私测量

· 系统安全

· 相信

· 可用的安全性

Intelligent Systems智能系统

项目介绍小组主要从事人工智能理论和应用方面的研究。小组研究主题旨在理解和形式化智能行为的各个方面，以便在系统中使用。正在为各种应用开发技术以及算法和原型软件。这些技术在构建更强大、更智能的基于计算的技术方面越来越重要

。研究主题· 计算统计

· 机器学习

· 机器学习在自然语言处理中的应用

· 机器学习在医学图像处理中的应用

· 概率推理和论证的计算模型

Multi-Sensory Devices多感官设备

项目介绍多感官设备 (MSD) 小组是一个跨学科研究小组，其核心兴趣是通过开发和利用新型传感器和执行器技术来创造新形式的交互式多感官用户体验。小组是一个将物理和社会科学与原型制作、电子控制、计算制造、感知研究和体验设计相结合的全栈研究小组。研究主题

· UCL 探索声悬浮的新领域

· 超越音频和视觉：伦敦大学学院计算机科学正在改变我们与技术互动的方式

Programming Principles, Logic, and Verification编程原理、逻辑和验证

项目介绍小组的研究涵盖逻辑、语义、量子信息和计算以及验证。从证明论、模型论、类型论、计算论、复杂性论、博弈论和范畴论等方面研究和运用方法。

在逻辑方面，小组的兴趣和专长方面包括：· 逻辑和证明理论的基础，包括证明理论语义，

· 子结构逻辑，包括成束逻辑和线性逻辑，

· 还原逻辑、证明搜索和逻辑编程，

· 代数逻辑和关系代数，

· 时间和模态逻辑，

· 博弈论，

· 分类逻辑，和逻辑在安全中的应用

在语义方面，兴趣和专长包括：

· 自然语言语义、分类语法和向量空间语义，

· 组合分布语义，

· Frobenius 代数和子结构模态，

· 信息流，

· 计算的代数和协代数语义，

· 逻辑编程和证明搜索的语义，

· 自动机和语言理论，

· 弦图，

· 系统建模，使用过程理论和逻辑的思想，在系统安全、安全策略和医疗保健系统的浪涌容量等领域应用。

在量子信息和计算方面，小组的兴趣和专长包括：

· 量子计算和信息的高级方法，

· 分类量子力学，

· 量子信息与自然语言语义之间的联系，以及

· 非局域性和情境化的层理论方法。

在验证方面，小组的兴趣和专长包括：

· 分离逻辑、并发分离逻辑及其衍生物，

· 工具 — 如 Infer、Space Invader、SLAM、Terminator — 用于程序分析和验证，

· 循环证明，

· 自动推理和机器检查证明，

· 弱记忆模型，

· 加密货币，以及

· 程序和网络安全属性的验证。

Software Systems Engineering软件系统工程

项目介绍该小组研究分布式和移动软件系统的工程原理、方法、符号、基础设施和工具，这些系统通常庞大而复杂。该小组的重点是：此类系统的现实目标、提供的服务和约束；系统结构和行为的精确规范，以及这些规范的实施；为确保满足规格和实际目标而需要开展的活动；这些系统随着时间的推移和跨系统家族的演变。它还涉及以经济和及时的方式开发软件密集型系统的过程、方法和工具。

研究主题· 基于搜索的软件工程

· 测试软件产品线

· 依赖分析和变更影响分析

· 源代码出处

· 安全信息流

· 找到代码的语义分析

· 测试信息转换器

· 人机音乐表演

· 计算音乐学

· 跨学科源代码分析

· S/W 测试的概率建模

· 软件工程的游戏化

Systems and Networks系统和网络

项目介绍1973 年，伦敦大学学院成为美国以外第一个连接到 ARPAnet（互联网的前身）的站点。从那时起，伦敦大学学院的系统和网络研究小组一直是网络计算机系统设计、构建和分析领域的全球领导者.该小组因其跨越研究和实践的成功而在备受瞩目的网络研究小组中脱颖而出：我们在领先的出版场所传播具有高影响力的科学成果，小组与 IETF 标准机构密切合作，以确保这些创新在网络中得到广泛应用互联网。小组定期安排博士毕业生在世界学术界和工业界的精英计算机科学研究机构任职。

研究主题

· 路径选择和网络架构

· 分层的问题

· 使用不可靠的部分构建安全系统

· 互联网作为计算如何共享资源的机器

· 网络结构

· 部署项目

Statistical Machine Learning统计机器学习

项目介绍

该小组是人工智能中心的一个研究小组。研究专长是数据高效的机器学习、概率建模和自主决策。应用侧重于机器人技术、气候科学和可持续发展。

Virtual Environments and Computer Graphics虚拟环境和计算机图形学

项目介绍

小组研究丰富人类数字内容体验的基础知识和应用程序。小组的研究涵盖多感官世界的捕捉、建模和展示，涉及硬件、算法和以人为本的方法。大部分工作的核心是构建用户可以体验的丰富且富有表现力的环境。这些可能是真实场景的扫描，或完全根据示例构建的假设场景。因此，小组对仅对那些对人类感知有用的现象进行有效建模的过程非常感兴趣。这包括实时捕获和显示动态场景中增强现实所需的类型，以及离线捕获复杂场景，以便对其进行分析和提炼以创建可用于场景创建的模型。研究主题

· 虚拟现实

· 智能几何处理

· 数字现实

· 图形和照明

· 传感器和系统

· 音频感知

Vision and Imaging Science视觉与影像科学

项目介绍

计算机视觉和图像处理旨在从图像和电影中提取有用的信息。可能的应用包括人脸识别、医学图像的自动分析、机器人技术、生产线的视觉检查和构建真实世界的 3D 模型。小组的特别感兴趣的领域包括人脸识别、医学图像分析、颜色信息的统计建模、增强现实跟踪、扩散张量成像、反问题以及建立形状和外观的数学模型。

研究主题· 疟疾寄生虫检测

· 3D 对象识别

· 细胞表型识别