与 Alex 一起进行编程语言设计项目
计算学院
2025 年 1 月 1 日
亚历克斯·波塔宁
回归传统：学会计划
计算学院
2024 年 12 月 1 日
陈狄龙
负责任的人工智能必威betway体育官网登录项目@ANU-孙晓宇
计算学院
2024 年 12 月 1 日
孙小宇
验证项目 - 各个级别
计算学院
2024 年 9 月 14 日
尼桑萨拉·亚塔帕纳奇
必威betway体育官网登录Vision Verse Interactive - 互动心理学问答游戏开发
计算学院
2024 年 9 月 11 日
必威betway体育官网登录Vision Verse Interactive - SaaS 平台互动小游戏开发
计算学院
2024 年 9 月 11 日
必威betway体育官网登录工业部, 科学与资源 - IT 实习
计算学院
2024 年 9 月 11 日
必威betway体育官网登录Penten - 用于生成文本和图像的离线模型
计算学院
2024 年 9 月 9 日
必威betway体育官网登录Penten - 利用 AI 进行 OT 系统攻击路径映射
计算学院
2024 年 9 月 9 日
必威betway体育官网登录Penten - Honeyfile 的检测方法
计算学院
2024 年 9 月 9 日
必威betway体育官网登录Penten - 提高法学硕士的记忆力
计算学院
2024 年 9 月 9 日
在霍尔伯特证明助手中扩展模式统一
计算学院
2024 年 9 月 4 日
利亚姆·奥康纳
在霍尔伯特证明助手中扩展模式统一
计算学院
2024 年 9 月 4 日
利亚姆·奥康纳
必威betway体育官网登录Haizea Analytics
计算学院
2024 年 8 月 28 日
实习：生物必威betway体育官网登录院
计算学院
2024 年 8 月 14 日
预测学生入学人数
计算学院
2024 年 7 月 22 日
彼得·霍夫纳
贝尔纳多·努内斯
科学人工智能
计算学院
2024 年 7 月 19 日
约翰·泰勒
HPC 的新方法：仅缓存编程
计算学院
2024 年 7 月 19 日
约翰·泰勒
肖阿布·阿克拉姆
深度必威betway体育官网登录实现高效路线规划
计算学院
2024 年 7 月 16 日
王庆
穆罕默德·法尔汉
机械化概率论 - Martingales
计算学院
2024 年 7 月 8 日
春田
用于道路网络聚类的图嵌入
计算学院
2024 年 7 月 8 日
张孟轩
Lambek 微积分的剪切消除（分类语法）
计算学院
2024 年 7 月 3 日
春田
伊恩·希利托
机械化图论 - 高级主题
计算学院
2024 年 7 月 3 日
春田
迈克尔·诺里什
用于创建音乐 AI 系统的网络界面
计算学院
2024 年 7 月 1 日
查尔斯·马丁
[国内荣誉 1 万美元奖学金] 使用社会演绎必威betway体育官网登录大型语言模型的操纵力 ...
计算学院
2024 年 6 月 25 日
佩妮·基伯兹
[国内荣誉 1 万美元奖学金] 虚拟宇宙中的正义
计算学院
2024 年 6 月 25 日
佩妮·基伯兹
形式化方法的案例必威betway体育官网登录
计算学院
2024 年 6 月 11 日
彼得·霍夫纳
故事策划：创意无限
计算学院
2024 年 6 月 1 日
帕特里克·哈斯勒姆
汉娜·索米宁
全额博士奖学金：矢量数据库的查询效率或可扩展性改进
计算学院
2024 年 5 月 28 日
张孟轩
多视图图的表示必威betway体育官网登录
计算学院
2024 年 5 月 22 日
王庆
矢量数据库中近似最近邻搜索的简短基准测试
计算学院
2024 年 5 月 22 日
张孟轩
探索用于材料信息学应用的柯尔莫哥洛夫-阿诺德网络 (KAN)
计算学院
2024 年 5 月 9 日
阿曼达·巴纳德 AM
探索路网特征对最短路径计算的影响
计算学院
2024 年 5 月 7 日
张孟轩
IMPSy 的智能乐器项目
计算学院
2024 年 5 月 6 日
查尔斯·马丁
指导协作绩效的 AI 模型
计算学院
2024 年 5 月 6 日
查尔斯·马丁
几何路线规划
计算学院
2024 年 4 月 23 日
穆罕默德·法尔汉
王庆
手机应用形式的桌游社交选择
计算学院
2024 年 4 月 17 日
迈克尔·诺里什
彼得·霍夫纳
互斥协议的合理公平假设
计算学院
2024 年 4 月 17 日
苏罗杰
彼得·霍夫纳
验证算法图论的要素
计算学院
2024 年 4 月 17 日
彼得·霍夫纳
苏罗杰
通过谓词转换器查找攻击
计算学院
2024 年 4 月 17 日
彼得·霍夫纳
迈克尔·诺里什
并发数据结构
计算学院
2024 年 4 月 17 日
彼得·霍夫纳
苏罗杰
建模, 分析和验证路由协议
计算学院
2024 年 4 月 17 日
彼得·霍夫纳
伊恩·希利托
对解析器进行单元测试
计算学院
2024 年 4 月 17 日
彼得·霍夫纳
HOL4 中的爱丁堡并发工作台
计算学院
2024 年 4 月 17 日
春田
毫级通用表示语言的机械化
计算学院
2024 年 4 月 17 日
彼得·霍夫纳
春田
在 NS-3 中实现路由协议
计算学院
2024 年 4 月 17 日
伊恩·希利托
彼得·霍夫纳
可执行进程代数
计算学院
2024 年 4 月 17 日
彼得·霍夫纳
法比安·米尔博克
适用于 AWN 语言的用户友好 IDE
计算学院
2024 年 4 月 17 日
彼得·霍夫纳
苏罗杰
POPL 教育工具
计算学院
2024 年 4 月 17 日
彼得·霍夫纳
在 Racket 中实现流水线语义
计算学院
2024 年 4 月 17 日
苏罗杰
彼得·霍夫纳
法比安·米尔博克
与 ANU 图必威betway体育官网登录实验室合作的必威betway体育官网登录项目
计算学院
2024 年 4 月 11 日
王庆
构建编程语言生态系统
计算学院
2024 年 4 月 3 日
法比安·米尔博克
渐进打字 - 语言设计与实现
计算学院
2024 年 4 月 3 日
法比安·米尔博克
IDE 的语言设计
计算学院
2024 年 4 月 3 日
法比安·米尔博克