教育部重要獎項
| Year | Award Name | Wins over the years |
|---|---|---|
| 1996 |
國科會重要獎項
| Year | Award Name | Wins over the years |
|---|---|---|
| 2022 | ||
| 2019 | ||
| 1999 | ||
| 1996 | ||
| 1994 |
校內重大獎項
| Year | Award Name | Wins over the years |
|---|---|---|
| 2017 | ||
| 2009 |
其他
| Year | Award Name | Wins over the years |
|---|---|---|
| 2022 | ||
| 2006 | IEEE Symposium on Logic in Computer Science (LICS) 首屆「」 |