作者简介：刘关俊，男，教授，博士生导师。2011年获得同济大学计算机软件与理论专业博士学位，同年赴新加坡科技设计大学从事博士后研究工作；2013年回国，并进入同济大学计算机科学系任教，同年获得德国洪堡基金资助，赴柏林洪堡大学从事博士后研究工作。 主要从事形式化方法、模型检测、Petri网等方面的理论与应用研究，目前也从事机器学习及其在网络交易欺诈检测方面的研究。已出版学术专著1本，发表学术论文90余篇，包括Science China Information Sciences、ACM Transactions on Embedded Computing Systems、ACM Transactionson Cyber-Physical Systems、IEEE Transactions on Services Computing、IEEE Transactions on Industrial Informatics等期刊论文近50篇，以及国际Petri网年会（International Conference on Application and Theory of Petri Nets and Concurrency）等会议论文40余篇。 刘关俊主持国家自然科学基金面上项目与青年基金项目、上海市曙光计划人才项目、中央高校交叉项目（重大）等多项，获得国家科技进步奖二等奖、上海市科技进步奖一等奖、中国电子学会自然科学一等奖、吴文俊人工智能技术发明奖一等奖、上海市优秀博士论文奖以及首届教育部国务院学位委员会博士研究生学术新人奖等。刘关俊是中国计算机学会形式化方法专委会委员、中国自动化学会网络信息服务专委会委员、中国人工智能学会智能空天系统专委会委员、IEEESenior Member。
书籍大小： 15MB 
电子书介绍
电子书阅读指南：本站所有电子书都可以通过手机或电脑阅读。mobi、epub和azw3版手机可以通过“
下载点：1 点 
