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