澳门金莎娱乐网站,唯一授权

Southwest Jiaotong University School of Mathematics

学术交流

澳门金莎娱乐网站  >  学术科研  >  学术交流  >  正文

创源大讲堂学术报告—App形式规约与验证

澳门金莎娱乐网站:   编辑:刘梦新     日期:2014-07-04 00:00:00   点击数:  

   西南交通大学

   “创源”大讲堂研究生学术讲座

   海  报

   报告人:Prof. Hong Zhu, Oxford Brookes University, UK

   讲座题目:A state of art introduction of software formal specification and verification and relevant work of his group (App形式规约与验证)

   讲座时间:2014年7月7日(周一)下午15:30~16:30

   讲座地点:电气馆3215

   主讲人概况:

        

Prof. Hong Zhu received BSc degree in Computer Software, MSc degree in Computer Science and PhD degree in Computer Science from Nanjing University, China, in 1982, 1984 and 1987, respectively. He joined Oxford Brookes University, UK, in November 1998 as a Senior Lecturer in Computing and became a Professor of Computer Science in October 2004, and now chairs the Applied Formal Methods Research Group of the Department of Computing and Electronics.  

Prof. Hong Zhu is a member of British Computer Society, ACM, IEEE Computer Society, China Computer Federation, and China Artificial Intelligence Association. His research interests are in the area of software engineering including software development methodology, software testing, agent technology, automated software development tools, etc. He won a number of prizes in China for my research works, which include the Premier’s Award of Distinguished Young Scientists in China awarded by the National Natural Science Foundation of China in 1996, and Chang Jiang Scholar Professorship by the Ministry of Education of China, 2000.

                                                            主办:研究生院

                                                              承办:澳门金莎娱乐网站

XML 地图 | Sitemap 地图