| Job title | Professors |
|---|---|
| Name | Jieh Hsiang |
| Job title | Distinguished Professor |
| Personal website | http://www.digital.ntu.edu.tw/hsiang/ |
| Office | 312 |
| Extension | 312 |
| Research expertise | Automated Deduction, Logic in Computer Science, Digital Libraries and Archives |
| Laboratory | Automated Reasoning Laboratory |
| Office_Hour | Email to make an appointment |