狀態 | 專任 |
---|---|
姓名 | 洪智鐸 |
電子郵件 | |
聯絡電話 | 89055 |
職稱 | 助理教授 |
研究專長 | formal methods, software verification, automated reasoning |
系所單位 | 資訊管理學系 |
狀態 | 專任 |
---|---|
姓名 | 洪智鐸 |
電子郵件 | |
聯絡電話 | 89055 |
職稱 | 助理教授 |
研究專長 | formal methods, software verification, automated reasoning |
系所單位 | 資訊管理學系 |