導(dǎo)師姓名 劉西洋
導(dǎo)師類型 碩士生導(dǎo)師
工作狀態(tài) 在職
職稱 教授
最高學(xué)歷 博士研究生
所屬學(xué)科
碩士學(xué)科
(081202)計算機(jī)軟件與理論
辦公電話 029-88204612
辦公地址 科技實驗樓1310B
通訊地址 西安電子科技大學(xué)168信箱
電子郵箱 xyliu@xidian.edu.cn
主頁地址 http://web.xidian.edu.cn/xyliu/

個人簡歷
1970年出生于革命圣地延安，1988年考入西安電子科技大學(xué)計算機(jī)軟件與理論專業(yè)本科，自此在西電度過了難忘的本科，碩士和博士的求學(xué)生涯,其中碩士由本科推免，碩士和博士師從我校德高望重的蔡希堯教授。1995年就職于我校軟件工程研究所至今，現(xiàn)任軟件工程研究所常務(wù)副所長，中國計算機(jī)學(xué)會軟件工程專業(yè)委員會委員。

主要研究方向及感興趣的領(lǐng)域
1995年就職軟件所以來，在蔡希堯教授和陳平教授等師長的指導(dǎo)下，在國防預(yù)先研究項目等縱橫向項目的支持下，秉持“求真務(wù)實、學(xué)以致用”的治學(xué)理念，一直從事針對衛(wèi)星導(dǎo)航、航天等關(guān)鍵系統(tǒng)的高可信賴軟件技術(shù)研究.
包括：
研究方向1 程序設(shè)計語言理論技術(shù)
針對雷達(dá)信號處理機(jī)、航空電子系統(tǒng)、航天控制系統(tǒng)等嵌入式系統(tǒng)，研究C/匯編/二進(jìn)制代碼的靜態(tài)安全分析技術(shù)、中斷驅(qū)動的并發(fā)C/匯編/二進(jìn)制代碼模型檢測技術(shù)、C到FPGA的編譯優(yōu)化與安全增強(qiáng)技術(shù)等等；
研究方向2 嵌入式系統(tǒng)的特定域開發(fā)技術(shù)
針對雷達(dá)信號處理機(jī)、航天控制系統(tǒng)等系統(tǒng)專用多處理器架構(gòu)，研究特定域的圖形化建模、時序分析，C/匯編代碼生成與優(yōu)化以及測試代碼的生成技術(shù)以及相應(yīng)的Eclipse 插件技術(shù)等等。
研究方向3 集成MapReduce并行與GPU眾核并行的分布并行技術(shù)
針對二代衛(wèi)星導(dǎo)航定位系統(tǒng)以及虛擬樣機(jī)系統(tǒng)中的海量數(shù)據(jù)處理需求，研究集成集成MapReduce并行、CPU多核/GPU眾核并行以及反射內(nèi)存實時網(wǎng)絡(luò)的分布并行技術(shù)。