上海交通大學軟件學院導師：陳雨亭 正文

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

　　個人簡介

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

 

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

上海交通大學