您当前浏览器版本过低,为了不影响您的使用,建议您使用最新的谷歌浏览器、火狐浏览器、 360浏览器,更换浏览器后使用更流畅!(注意!双核浏览器请切换为极速模式)
400-607-9388
  • 刘西洋
  • 所属院校: 西安电子科技大学
  • 所属院系: 计算机科学与技术学院
  • 职称: 教授
  • 导师类型:
  • 招生专业:
  • 研究领域: 1995年就职软件所以来,在蔡希尧教授和陈平教授等师长的指导下,在国防预先研究项目等纵横向项目的支持下,秉持“求真务实、学以致用”的治学理念,一直从事针对卫星导航、航天等关键系统的高可信赖软件技术研究.包括: 研究方向1程序设计语言理论技术 针对雷达信号处理机、航空电子系统、航天控制系统等嵌入式系统,研究C/汇编/二进制代码的静态安全分析技术、中断驱动的并发C/汇编/二进制代码模型检测技术、C到FPGA的编译优化与安全增强技术等等; 研究方向2嵌入式系统的特定域开发技术 ...
个人简介

个人简介

个人简介 1970年出生于革命圣地延安,1988年考入西安电子科技大学计算机软件与理论专业本科,自此在西电度过了难忘的本科,硕士和博士的求学生涯,其中硕士由本科推免,硕士和博士师从我校德高望重的蔡希尧教授。 1995年就职于我校软件工程研究所至今,现任软件工程研究所常务副所长。 科学研究 目前实验室有5位老师,其中硕士生导师2位。目前在研的项目包括: 1卫星导航定位系统地面站软件系统,中科院国家授时中心 2控制系统XX建模与XX测试生成工具,北京某航天研究所 3二代卫星导航定位系统中XX分析中心演示验证系统,西安某研究所 4XX虚拟样机系统实时仿真子系统,西安某研究所(与我校和西工大航天学院合作) 5雷达信号处理机XX建模与开发工具,我校雷达信号处理国家重点实验室 科研团队 团队教师 高海昌老师,博士,副教授,硕士生导师。 王黎明老师,讲师。 霍秋艳老师,副教授,硕士生导师。 博士研究生 硕士研究生 毕业研究生去向:到IBM中国研究院、Honeywell中国公司、趋势科技、腾讯、百度、淘宝、中兴、华为等知名IT企业从事IT研发工作;在中国科学院长春光机所、航天五院503所、504所、中电集团20所、北京航天自动控制研究所等科研院所从事系统研制工作;全奖到加州大学河滨分校、丹麦哥本哈根大学等国内外著名学府攻读计算机科学博士学位。 关于研究生招生的信息: 指导理念:真诚实在,硬碰硬做事,实打实做人。 招收人数:按照学校和计算机学院的研究生招生政策,2011年度计划招收7名工学硕士研究生和若干名专业硕士研究生。 心目中最理想的学生:品行高洁、才思敏捷、乐观开朗、性格外向、勤奋刻苦、追求卓越、不甘平庸的青年才俊 最关注的基础课程:数学基础、英语能力、算法及程序设计、计算机组成原理、操作系统、编译原理等专业课程 实验室同学待遇:除享受配套学校资助的奖助金之外,每位参加项目的同学每年另外资助相当数额的科研补贴。每位论文被国内或国外Rank2及以上学术会议录取的同学资助参加国际会议,同时积极资助同学参加国内举行的前沿软件技术研讨班等学术交流活动。对于交学费暂时遇到困难的同学,借给相应学费,毕业工作宽裕之后原数归还继续资助后面的同学。 近几年研究生参加学术会议情况: 2007年日本名古屋APSEC2007、2008年成都ICESS2008、2009年杭州ICESS2009、2010北京中科院软件所“ModelChecking学术研讨班”。 实验室:位于北校区实验楼1310B,1311以及科技楼A916。 进一步详见实验室博客:http://stlxd.blog.sohu.com

以上内容源自网络公开信息,仅作学术交流之目的,非为商业用途。
如若涉及侵权事宜,请及时与我们联络,我们将即刻修正或删除相关内容。
联系方式:+86 191 9534 4490。
确定
匹配导师

资料审核中

您的资料已提交成功!

我们的工作人员会将会在3-5个工作日内和您联系

返回