利用 Coalgebra 进行自动化验证与合成

本项目旨在通过应用余代数方法，提升自动化验证与合成技术，从而增强其在复杂、时变系统中的应用能力。该研究旨在解决当前存在的局限性，例如在随机环境中对正确性及最优资源利用进行形式化保证的需求，尤其是针对自主系统而言。

关于该项目 该项目将通过推广现有技术以适配现代软件代理的复杂性，在自动化验证与合成领域取得进展。应用领域包括具有正确性/最优性形式保证的自主系统合成及自动化规划。 coalgebra 验证领域旨在运用 coalgebra 领域的方法，以提升和扩展自动化验证与合成技术的应用范围。 coalgebra 是一种适用于建模通用状态基动态系统的数学结构。它们具备支持对时间行为进行定性与定量推理的逻辑功能。coalgebraic 技术已有助于更深刻地理解、统一甚至推广用于自动验证的基于自动机的技术。 自动化验证与合成技术的当前局限性包括：无法应用于结构与交互随时间变化的系统，及/或最优性要求复杂的系统（例如随机环境中的最优资源使用）。本项目将通过解决这些局限性，推动代数系方法在验证领域的应用发展。 电子与计算机科学学院致力于促进平等与多样性，这体现在我们获得的 Athena SWAN 荣誉上。我们欢迎所有申请者，无论其性别、种族、残疾状况、性取向或年龄如何，并将充分考虑那些寻求灵活工作模式以及已休过职业假期的申请者。该大学拥有慷慨的产假政策、现场儿童保育设施，并提供多种福利措施，以保障员工的生活质量与工作生活平衡。南安普顿大学致力于可持续发展，并荣获了铂金级 EcoAward 认证。

入学要求 您必须拥有英国2:1荣誉学位或其国际同等学历，专业为计算机科学或数学。 对计算机科学理论方面的兴趣为必要条件。

资助：竞争性资助 学费与资助 我们为英国本土学生和国际学生提供多种资助机会。符合条件的学生可通过“地平线欧洲”学费减免，自动免除国际学生学费与英国本土学生学费之间的差额。 大学通过竞争性遴选授予的校长助学金，为遴选排名靠前的申请人支付国际学生学费与英国本土学生学费之间的差额。 本校各学院通过竞争性遴选提供的博士奖助金，通常为遴选排名靠前的申请人支付按英国本土学生标准收取的学费，并提供生活津贴。 资助采用滚动授予方式，因此请尽早申请，以尽可能增加进入资助评选的机会。 如需更多信息，请访问我们的研究型研究生资助页面。

如何申请 您需： 选择课程类型（研究型）、2027/28学年、工程与物理科学学院 选择全日制或非全日制 查找项目：哲学博士 计算机科学（7089） 在申请表第2部分填写导师姓名 申请材料应包括： 研究计划书 您的CV（个人简历） 2份学术推荐信 截至目前的学位课程成绩单和证书 英语语言资格证明（如适用）