第六届中国机器人峰会暨智能经济人才峰会
2019年5月8-10日
浙江·宁波·余姚
嘉宾介绍
Jim Woodcock
英国皇家工程院院士
英国约克大学教授
英国女王技术成就奖获得者
个人简介
Jim Woodcock，英国皇家工程院院士，英国约克大学教授，英国约克大学计算机科学系系主任，英国女王技术成就奖获得者，高完整性系统工程组(HISE)联合负责人，Athena SWAN金奖委员会成员。
Jim Woodcock院士以其研究、教学和咨询工业规模软件工程的应用与形式化方法而闻名，主要研究方向为基于计算机的系统的验证与确认、软件工程、统一编程理论、移动和可重构工程、纳米技术等，发表论文167篇，出版书籍2本，致力于将Z语言应用到IBM CICS项目中，并于1992年获得英国女王技术成就奖。
