洪智铎
姓名 洪智铎
职称 助理教授
系所单位 资讯管理学系
电子邮件
联络电话 89055
研究专长 formal methods, software verification, automated reasoning