个人资料
个人简介安毅生,男,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 长安大学计算机系 助教 |