Ｅ流网讯（通讯员 黄兴）2008年11月6日下午3：00，在科技楼大报告厅，由微电子学院邀请英飞凌科技有限公司Dr. Tim Blackmore来我校给我院研究生和老师做了《数字IP的功能验证》的报告，将近两百多位学生和老师参加了报告会。

　　Dr. Tim Blackmore介绍了当前各种软件的数字IP的功能验证的验证方法，深入讲述了验证技术发展水平，包括在嵌入式系统，在像汽车之类的安全关键应用，高性能体现在安全方面。会后Dr. Tim Blackmore 就讲座的内容和在场的听众进行了问答互动，并用有奖提问的方法，现场奖励了一些敢于提问题的学生，最终报告会达到了预期的结果。

　　Dr. Tim Blackmore于1994年获得纯数学博士学位，著有泛函分析和半群理论方面的著作。后在Bristol大学的电气与电子工程学院进行了为期5年的博士后研究，该学院是英国同类型学院中最好的一个。在Bristol大学期间，在核心期刊（如IEEE Transactions on Information Theory）和一些会议（如IEEE Proceeding of the International Symposium on information Theory）上发表了10余篇的论文。（完）