| 姓名 | 洪智铎 |
|---|---|
| 电子邮件 | |
| 联络电话 | 89055 |
| 个人网站 | https://chihduo.github.io/ |
| 研究专长 | formal methods, software verification, automated reasoning |
| 学历 | 英国牛津大学 电脑科学系 |
| 职称 | 助理教授 |
| 计画类别 | 年度 | 计画名称 | 参与人 | 职称/担任之工作 | 计画期间 | 补助/委讬或合作机构 |
|---|---|---|---|---|---|---|
| 科技部 | 114 | 前瞻金融资安技术之落地应用与国际合作(1/2) | 左瑞麟,洪智铎,纪博文,郁方,许建隆,陈恭,曾一凡,黄思皓,杨明豪,萧舜文,罗嘉宁 | 共同主持人 | 2025.08 ~ 2026.07 | 国科会 |
| 科技部 | 112 | 数据转换系统的正确性与可解释性的自动推论(3/3) | 洪智铎,萧贵徽 | 计画主持人 | 2025.07 ~ 2027.06 | 国科会 |
| 科技部 | 112 | 数据转换系统的正确性与可解释性的自动推论(2/3) | 洪智铎,萧贵徽 | 计画主持人 | 2024.07 ~ 2027.06 | 国科会 |
| 科技部 | 112 | 数据转换系统的正确性与可解释性的自动推论(1/3) | 洪智铎 | 计画主持人 | 2023.07 ~ 2027.06 | 国科会 |
| 非科技部 | 112 | 金融AI云生态系概念验证委讬研究案 | 周行一,林怡伶,姜尧民,洪智铎,郁方,张欣绿,庄弘钰,臧正运,蔡子杰,蔡瑞煌 | 共同主持人 | 2023.07 ~ 2024.06 | 中华电信股份有限公司企业客户分公司 |
| 国家 | 学校名称 | 系所 | 学位 | 期间 |
|---|---|---|---|---|
| 英国 | 英国牛津大学 | 电脑科学系 | 博士 | 2017.04 ~ 2022.03 |
| 经历类别 | 服务机关名称 | 单位 | 职务 | 期间 |
|---|---|---|---|---|
| 校内本职 | 政治大学 | 资讯管理学系 | 助理教授 | 2023.02 ~ 迄今 |
