相册


基本信息 The basic information
姓名: 吴健

学院: 计算机学院


学历: 硕士研究生毕业

学位: 工学硕士


职称: 教授

职务:


学科: 计算机科学与技术





教育教学 Education And Teaching
1979年进入西北工业大学计算机软件专业学习，1983年获工学学士学位；1985年考入西北工业大学计算机软件专业学习，1988年获工学硕士学位。
1988年受聘为讲师职称；1993年受聘为副教授职称；1998年受聘为教授职称。
曾参加“十号工程”等重大型号项目，获得过原航空工业部科技进步一等奖，国家科技进步二等奖，获航空之星称号一次，荣立国防预研三等功一次。在服务计算方面成功申请并完成了“十一五”国家科技支撑计划项目。目前主要研究领域包括虚拟试验、仿真和虚拟靶场中间件平台软件；机载、舰载等领域嵌入式软件构件化技术；网络化嵌入式软件设计/集成一体化验证方法。承担数理逻辑、软件形式化方法、计算的数学理论等课程的教学任务。是中国计算机学会高级会员，计算机学会电子政务与办公自动化专业委员会成员。是陕西省委网信办信息化专家委员会成员，陕西省电子政务基础数据库建设专家组组长。





English Version