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

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

　　個人簡介

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

 

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

上海交通大學(xué)