上海交通大學(xué)軟件學(xué)院導(dǎo)師：陳雨亭 正文

　　導(dǎo)師姓名 陳雨亭 導(dǎo)師性別 男
　　職務(wù)職稱 講師.
　　所在院系 軟件學(xué)院
　　所屬學(xué)科 軟件工程
　　研究方向 程序分析與測(cè)試 形式化方法
　　聯(lián)系電話 15801755532
　　電子郵箱 chenyt@sjtu.edu.cn

　　個(gè)人簡(jiǎn)介

　　陳雨亭：男，博士，講師，就職于上海交通大學(xué)電子信息與電氣工程學(xué)院。他于2007年3月在日本法政大學(xué)情報(bào)科學(xué)研究科博士畢業(yè)，2003年及2000年于南京大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)系分別獲得碩士、學(xué)士學(xué)位。2007.4-2008.2曾在美國(guó)德州大學(xué)達(dá)拉斯分校計(jì)算機(jī)系擔(dān)任訪問(wèn)學(xué)者，并從事美國(guó)宇航局NASA的軟件安全性測(cè)試項(xiàng)目的研究。申請(qǐng)人的主要研究方向是軟件工程，特別是軟件測(cè)試、軟件分析、軟件審閱、軟件安全及形式化工程方法，并曾在國(guó)際會(huì)議與期刊上發(fā)表過(guò)20多篇論文。申請(qǐng)人也為多個(gè)國(guó)際會(huì)議與重要期刊（如IEEE Transactions on Reliability、軟件學(xué)報(bào)等）從事論文評(píng)審工作，并曾擔(dān)任ICFEM、SSIRI、APSEC、QSIC等多個(gè)國(guó)際會(huì)議的程序委員會(huì)委員。此外，申請(qǐng)人主持了自然科學(xué)基金項(xiàng)目“基于模擬執(zhí)行的軟件功能規(guī)約的安全性驗(yàn)證”，并曾作為主要參與人參加了多個(gè)研究課題，包括國(guó)家863重點(diǎn)項(xiàng)目“高可信軟件生產(chǎn)工具及集成環(huán)境”二期子課題“Trustie技術(shù)在航天控制軟件生產(chǎn)過(guò)程中的可信評(píng)估、應(yīng)用和演化研究”、自然科學(xué)基金項(xiàng)目“面向方面軟件的變化影響分析理論及其應(yīng)用”、日本國(guó)立情報(bào)學(xué)研究所的合作研究項(xiàng)目“雙向模型轉(zhuǎn)換技術(shù)的研究”等。

 

添加上海交通大學(xué)學(xué)姐微信，或微信搜索公眾號(hào)“考研派小站”，關(guān)注[考研派小站]微信公眾號(hào)，在考研派小站微信號(hào)輸入[上海交通大學(xué)考研分?jǐn)?shù)線、上海交通大學(xué)報(bào)錄比、上海交通大學(xué)考研群、上海交通大學(xué)學(xué)姐微信、上海交通大學(xué)考研真題、上海交通大學(xué)專業(yè)目錄、上海交通大學(xué)排名、上海交通大學(xué)保研、上海交通大學(xué)公眾號(hào)、上海交通大學(xué)研究生招生）]即可在手機(jī)上查看相對(duì)應(yīng)上海交通大學(xué)考研信息或資源。

上海交通大學(xué)