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