王岩冰

该导师现任职于东南大学计算机学院，1988年获山东大学计算机应用软件专业学士学位，1991年获南京大学计算机软件专业硕士学位，1998年获上海交通大学计算机软件专业博士学位，2001年5月至2002年4月作为访问学者赴英国诺丁汉大学进修。工作经历方面，1991年7月至1994年11月任教于山东大学威海分校计算机系，1998年7月至2004年5月任教于山东师范大学计算机系，2004年6月起入职东南大学计算机学院。主要研究方向为形式化方法、算法设计与分析，累计发表学术论文20余篇，涵盖中文信息学报、软件学报、计算机研究与发展等国内顶级期刊及ICYC、ICCC等国际学术会议，在形式语义、算法设计、汉语机器理解等领域开展了长期系统化研究。