技术专家

安毅生，男，1972年6月生，陕西西安人，博士、教授，博士生导师，长安大学信息工程学院院长。长安大学计算机科学与技术专业建设负责人，“交通信息工程及控制”学科A岗责任教授，交通运输部认定自动驾驶封闭场地测试基地副主任。陕西省计算机学会理事，陕西省计算机教育学会副理事长，中国计算机学会高级会员，中国自动化学会、ACM、IEEE会员，中国自动化学会网络信息服务专委会委员。教育部工程教育认证专家，教育部学位与研究生教育发展中心评审专家，国家自然科学基金委函评专家，陕西省、重庆市科学技术奖评审专家，陕西省、西安市青年拔尖创新人才评审专家。  近年来主要从事自动驾驶系统测试、交通流建模与仿真、数字孪生系统构建等方面的科学研究和技术开发工作，围绕“封闭场地自动驾驶虚实融合测试”和“基于数字孪生的自动驾驶虚拟测试”等方向，作为项目负责人，主持完成了包括国家重点研发计划课题、国家自然科学基金面上项目、陕西省工业公关重点项目、陕西省自然科学基金重点项目以及中兴通讯、陕西交控等知名企业委托的纵、横向研究课题等20余项。作为教育部长江学者和创新团队发展计划项目“多源异构交通信息智能检测与融合技术”的骨干成员，参与完成了多项重要技术的研发与测试工作。作为核心成员，荣获国家科技进步奖二等奖一项、陕西省科学技术奖一等奖一项。获得发明专利12项，发表学术论文70余篇，培养博士和硕士研究生30余人。主要研究方向：  目前主要从事离散事件系统建模与应用，Petri网理论与应用，网络协议的建模与验证、软件系统建模、实时系统的建模与验证、以及智能车路协同系统等领域的科学研究和技术开发工作。主要围绕“弹性交通信息物理系统建模与评估”和“人机共驾协作行为监督控制”等方向展开研究。 社会职务 陕西省计算机学会理事陕西省计算机教育学会副理事长中国自动化学会网络信息服务专委会委员IEEE会员ACM会员CCF高级会员CCA会员教育部工程教育认证专家教育部学位与研究生教育发展中心评审专家国家自然科学基金委函评专家陕西省、重庆市科学技术奖评审专家陕西省、西安市青年拔尖创新人才评审专家著名期刊\会议审稿人➢IEEE Intelligent Transportation Systems Transaction.➢IEEE Transactions on Systems, Man, and Cybernetics➢IEEE Transactions on Vehicular Technology➢Engineering Applications of Artificial Intelligence➢Knowledge-Based Systems➢Expert Systems With Applications➢AAAI\ICRA\ITSC\TRB等重要会议审稿人

山东科技大学教授、博士生导师，计算机科学与工程学院“智能信息服务研究团队”带头人。

【产业方向】人工智能，西安交通大学，理论计算机科学、控制论 离散状态动态系统的形式化验证、可判定性理论、计算复杂性理论 有限自动机、幺半群上的加权有限自动机、Petri网、布尔控制网络等多种离散状态动态系统 提出幺半群上的加权有限自动机、布尔控制网络的能观性图、离散事件系统的