
田锋
博士生导师
硕士生导师
职称:教授
教师姓名:田锋
电子邮箱:
学历:博士研究生毕业
性别:男
学位:博士
在职信息:在职
毕业院校:西安交通大学
所属院系:计算机科学与技术学院
学科:控制科学与工程
2019 ICST在西安召开
发布时间:2019-04-27 点击次数:
发布时间:2019-04-27
文章标题:2019 ICST在西安召开
内容:
ICST2019年国际会议在西安威斯丁酒店召开


美国三院院士、欧洲两院院士、美国Rice大学Moshe Y. Vardi教授做The Rise and Fall of Linear Temporal Logic的专题报告。

在主题演讲前与院士合影
