报告题目：利用结构推理来验证petri网络

报告人：卡麦勒·巴尔卡维教授

时间：2015年11月11日上午10:30-12:00

地点：石河子大学北区机电主楼二楼会议室

主办单位：제왕카지노

报告人简介：

  卡麦勒·巴尔卡维，男，博士，法国巴黎国立工艺学院信息学院计算机科学系大学教授（“大学教授”为法国教授最高等级），西安电子科技大学“111”引智基地特聘学者。主要从事并发系统建模、形式化验证和性能评价的研究，是巴黎大区高校软硬件系统形式化方法研究团队联盟—Mefosyloma团队的创始人之一。目前发表超过150篇相关领域国际期刊与会议论文，担任多个国际期刊的副编辑或编委会成员，是多个国际会议/研讨会的大会主席或共同主席，也是包括Automatica 与 IEEE TAC在内的众多国际期刊的定期审稿人。

  欢迎各位老师和同学踊跃参加！