教育部重要奖项
| 年度 | 奖项名称 | 历年得奖次数 |
|---|---|---|
| 1996 | 产学合作奖 | 1 |
国科会重要奖项
| 年度 | 奖项名称 | 历年得奖次数 |
|---|---|---|
| 2022 | 特约研究员(特约研究111-113) | 2 |
| 2019 | 特约研究员(特约研究108-110) | 1 |
| 1999 | 杰出奖 | 2 |
| 1996 | 甲种奖 | 2 |
| 1994 | 优等奖 | 1 |
校内重大奖项
| 年度 | 奖项名称 | 历年得奖次数 |
|---|---|---|
| 2017 | 台大校内服务优良奖 | 1 |
| 2009 | 台大教师杰出校内服务奖 | 1 |
其他
| 年度 | 奖项名称 | 历年得奖次数 |
|---|---|---|
| 2022 | Keynote speaker of DH2022 (数码人文领域最大全球性年会，34届来第一次请亚洲人做 Keynote) | 1 |
| 2006 | IEEE Symposium on Logic in Computer Science (LICS) 首届「Test-of-Time Award」 | 1 |