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