![洪智铎 洪智铎](/uploads/member_profile/avatar/63d9f53b311fc8dd5bef63b8/%E7%B3%BB%E7%B6%B2%E7%85%A7%E7%89%87.png)
姓名 | 洪智铎 |
---|---|
电子邮件 | |
联络电话 | 89055 |
研究专长 | formal methods, software verification, automated reasoning |
职称 | 助理教授 |
计画类别 | 年度 | 计画名称 | 参与人 | 职称/担任之工作 | 计画期间 | 补助/委讬或合作机构 |
---|---|---|---|---|---|---|
科技部 | 112 | 数据转换系统的正确性与可解释性的自动推论(3/3) | 洪智铎,萧贵徽 | 计画主持人 | 2025.07 ~ 2026.06 | 国科会 |
科技部 | 112 | 数据转换系统的正确性与可解释性的自动推论(2/3) | 洪智铎,洪智铎,萧贵徽 | 计画主持人 | 2024.07 ~ 2026.06 | 国科会 |
科技部 | 112 | 数据转换系统的正确性与可解释性的自动推论(1/3) | 洪智铎 | 计画主持人 | 2023.07 ~ 2026.06 | 国科会 |
非科技部 | 112 | 金融AI云生态系概念验证委讬研究案 | 蔡瑞煌,周行一,姜尧民,庄弘钰,蔡子杰,张欣绿,林怡伶,郁方,洪智铎,臧正运 | 共同主持人 | 2023.07 ~ 2024.06 | 中华电信股份有限公司企业客户分公司 |
国家 | 学校名称 | 系所 | 学位 | 期间 |
---|---|---|---|---|
英国 | 英国牛津大学 | 电脑科学系 | 博士 | 2017.04 ~ 2022.03 |
经历类别 | 服务机关名称 | 单位 | 职务 | 期间 |
---|---|---|---|---|
校内本职 | 政治大学 | 资讯管理学系 | 助理教授 | 2023.02 ~ 迄今 |