洪智鐸 | 研究者 | 政大學術集成

基本資料

姓名	洪智鐸
職稱	助理教授
隸屬系所	資管系
隸屬學院	商學院
研究專長	形式方法、模型驗證、自動推論
E-Mail	chihduo@nccu.edu.tw
聯絡電話	(02)29393091#66359

學歷

學校名稱	系所名稱	教育程度
英國牛津大學	電腦科學系	博士