主讲人：美国内布拉斯加州立大学 郭海峰
介绍：
郭老师于2001年5月在新墨西哥州立大学计算机科学系获得博士学位。随后在SUNY Stony Brook 进行为期一年半的博士后研究。从2002年8月起，郭老师担任美国内布拉斯加州立大学信息学院计算机系的助理教授，博士生导师。内布拉斯加州立大学信息学院在全美排名前十。
郭老师的研究方向有：编程语言的设计，逻辑的最优化，自动推理，并行和分布式计算，软件工程，数据挖掘等。郭老师在国际学术会议和国际期刊中发表论文数十篇，其中多篇被SCI，EI收录。郭老师曾担任第十届国际PLDA（Practical Aspects of Declarative Languages ）论坛主席。
地点： 松江1号学院楼计算机学院140室
时间： 6月11日 13：30
欢迎各位老师同学参加！
计算机学院
2008年6月
