王岩冰
导师档案总览
基本信息
研究方向
形式化方法
算法设计与分析
个人简介
该导师1988年获山东大学计算机应用软件专业学士学位，1991年获南京大学计算机软件专业硕士学位，1998年获上海交通大学计算机软件专业博士学位，2001年5月至2002年4月作为访问学者赴英国诺丁汉大学进修。工作经历方面，1991年7月至1994年11月任教于山东大学威海分校计算机系，1998年7月至2004年5月任教于山东师范大学计算机系，2004年6月起入职东南大学计算机学院任教至今。主要研究方向为形式化方法、算法设计与分析，长期从事计算机软件理论相关研究，在中文信息处理、形式语义学、算法设计等领域累计发表学术论文20余篇，涵盖《软件学报》《计算机研究与发展》等国内权威期刊及多个国际学术会议，具备扎实的理论研究基础。
资料摘录
暂无可展示的学位或研究成果数据
同方向导师