教育部重要獎項
| 年度 | 獎項名稱 | 歷年得獎次數 |
|---|---|---|
| 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 |