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

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

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