个人资料
个人简介安毅生，男，1972年6月生，陕西西安人，博士、教授，博士生导师，长安大学信息工程学院院长。长安大学计算机科学与技术专业建设负责人，“交通信息工程及控制”学科A岗责任教授。承担了计算机科学与技术本科专业《操作系统》课程、研究生《计算机系统形式化建模与验证》课程的教学以及大量本科生、硕士生、博士生的培养任务。 主要研究方向： 离散事件系统建模与应用，Petri网理论与应用，网络协议的建模与验证、软件系统建模、实时系统的建模与验证、以及智能车路协同系统等。 主要研究成果： 1、先后主持国家重点研发计划课题、国家自然科学基金面上项\管理项目、陕西省自然科学基金重点项目、陕西省工业公关项目及企业委托横向项目20余项。 2、获国家科技进步二等奖1项，陕西省科学技术一等奖1项，陕西省青年科技奖1项。 3、在《IEEE Transactions on Intelligent Transportation Systems》、《Vehicular Communications》、《Neurocomputing》等期刊和IEEE SMC, IEEE CASE等国际会议上发表学术研究论文70余篇，其中SCI/EI检索40余篇，获批发明专利7项，软件著作权12项，出版教材2部。 社会职务陕西省计算机学会理事 陕西省计算机教育学会副理事长 中国自动化学会网络信息服务专委会委员 IEEE会员 ACM会员 CCF高级会员 CCA会员 研究领域离散事件系统建模与应用，Petri网理论与应用，网络协议的建模与验证、软件系统建模、实时系统的建模与验证、以及智能车路协同系统等。 开授课程本科生课程：《操作系统》，计算机科学与技术专业，2000年---， 春季学期 研究生课程：《Petri网建模与应用》，计算机相关专业，2011年---， 秋季学期 科研项目1.人机共驾协作行为的混杂系统建模与监督控制方法研究，国家自然科学基金面上项目 2.基于群体智能的智能网联车辆绿色协同驾驶系统研究与开发，陕西省重点研发计划项目 3.基于车联网群体协作的城市道路热点事件感知系统研究与开发，中兴通讯股份有限公司 4.大数据环境下道路运输管理新模式关键技术研究，云南省交通厅科技项目 5.车联网环境下公交优先交叉口信号协调控制方法研究，陕西省自然科学基金重点项目 论文请在中国期刊网，Web of Science，Ei Compendex Web(美国工程索引)检索.... 科技成果荣誉奖励2006年 陕西省科学技术奖 一等奖2007年 国家科技进步奖 二等奖2010年 陕西省青年科技奖2017年 陕西省高等学校教学管理工作先进个人2018年 第四届“互联网+”大学生创新创业大赛 陕西省金奖2018年 第四届“互联网+”大学生创新创业大赛 陕西省先进个人2019年 第五届“互联网+”大赛项目 长安大学金奖2项2019年 长安大学教学成果一等奖2项工作经历2020.01—至 今 长安大学信息工程学院 教授 院长 2015.05—2020.01 长安大学信息工程学院 教授 副院长 2012.12—2015.05 长安大学信息工程学院 教授 2006.07—2012.11 长安大学信息工程学院 副教授 （2010年美国东华盛顿大学 访学） 2001.11—2006.12 长安大学信息工程学院 讲师 1995.07—2001.11 长安大学计算机系 助教 |