南京航空航天大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院導(dǎo)師:周宇

發(fā)布時(shí)間:2021-10-05 編輯:考研派小莉 推薦訪問(wèn):
南京航空航天大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院導(dǎo)師:周宇

南京航空航天大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院導(dǎo)師:周宇內(nèi)容如下,更多考研資訊請(qǐng)關(guān)注我們網(wǎng)站的更新!敬請(qǐng)收藏本站,或下載我們的考研派APP和考研派微信公眾號(hào)(里面有非常多的免費(fèi)考研資源可以領(lǐng)取,有各種考研問(wèn)題,也可直接加我們網(wǎng)站上的研究生學(xué)姐微信,全程免費(fèi)答疑,助各位考研一臂之力,爭(zhēng)取早日考上理想中的研究生院校。)

南京航空航天大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院導(dǎo)師:周宇 正文

 


姓名: 周宇 性 別: 男 行政職務(wù) :  
專業(yè)技術(shù)職務(wù): 副教授 辦公電話: 導(dǎo)師類別: 碩士生導(dǎo)師  
最后學(xué)歷: 博士畢業(yè) 最后學(xué)位: 博士 最后畢業(yè)學(xué)校: 南京大學(xué)  
電子郵件: zhouyu@nuaa.edu.cn      
工作單位: 計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院      
主學(xué)科研究方向:
二級(jí)學(xué)科名稱(主): 軟件工程 (招收碩士研究生) 學(xué)科代碼11: 083500
軟件體系結(jié)構(gòu),軟件可靠性技術(shù)
個(gè)人簡(jiǎn)歷(學(xué)歷、學(xué)術(shù)經(jīng)歷及社會(huì)兼職):
2004年于南京大學(xué)計(jì)算機(jī)系本科畢業(yè),獲學(xué)士學(xué)位,2009年于南京大學(xué)軟 件研究所畢業(yè),獲得博士學(xué)位,2006-2007年香港理工大學(xué)計(jì)算機(jī)系訪問(wèn)學(xué)生(Research Assistant),2007-2008年受留學(xué)基金委資助于瑞士蘇黎世大學(xué)聯(lián)合培養(yǎng)1年,2010-2011年于意大利米蘭理工大學(xué)從事博士后研究, 主要研究領(lǐng)域?yàn)檐浖w系結(jié)構(gòu),普適計(jì)算,軟件可靠性技術(shù)等. 擔(dān)任ISRN Robotics 編委(Editorial Board), 中國(guó)計(jì)算機(jī)學(xué)會(huì)YOCSEF南京分論壇 AC委員,秘書(shū)。
發(fā)表學(xué)術(shù)論文,出版專著情況:
1. Yu Zhou, Luciano Baresi, Matteo Rossi. Towards A Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata. Journal of Computer Science and Technology (JCST), Vol.28, No.1, pp:188-202,2013.

2. Yu Zhou, Jidong Ge, Jun Hu. An Agent-Based Approach for Software Self-Adaptation. ICIC-Express Letters, Vol.7, No.2, 2013

3. Yu Zhou, Zhiqiu Huang. Verification of Real-Time Models with Hierarchical Extensios. ICIC-Express Letters, Vol.7, No.2, 2013.

4. Yu Zhou, Xuefeng Yan, Zhiqiu Huang. A Graph Transformation Based Approach for Modeling Component Migration in Mobile Environments. In Proceedings of COMPSAC Workshops 2012. Izmir, Turkey, 2012, IEEE.

5. Yu Zhou, Shutian Lu, et al. Using Graph Transformation to Analyze Concurrent Reconfigurations of Dynamic Software Architecture. In Proceedings of International Conference on Software Technology and Engineering, 2009.

6. Yu Zhou, Michael Wuersch, Emanual Giger, Harald Gall, Jian Lu. A Bayesian Network Based Approach for Change Coupling Prediction. In Proc. Of 15th Working Conference on Reverse Engineering (WCRE), 2008.

7.Yu Zhou. A Runtime Architecture-Based Approach for the Dynamic Evolution of Distributed Component-Based Systems. In Proc. of 30th International Conference on Software Engineering (ICSE), Doctoral Symposium Track, 2008.

8. XianPing Tao, Xiaoxing Ma, Jian Lu, Ping Yu, Yu Zhou: Multi-mode interaction middleware for software services. Science in China Series F: Information Sciences 51(8), 2008.

9. Joanna I Siebert, Jiannong Cao, Yu Zhou, et al. A Novel Approach to Supporting Multi-protocol Service Discovery in Pervasive Computing. In Proc. of IFIP International Conference on Embedded and Ubiquitous Computing(LNCS), 2007.

10. Yu Zhou, Jiannong Cao, et al. A Middleware Support for Agent-Based Application Mobility in Pervasive Environments. In Proc. of the Fifth International Workshop on Mobile Distributed Computing in Conjunction with the 27th International Conference on Distributed Computing Systems (ICDCS), 2007.

11. Xiaoxing Ma, Yu Zhou, et al. Constructing Self-Adaptive Systems with Polymorphic Software Architecture. In Proceedings of the International Conference of Software Engineering and Knowledge Engineering (SEKE), 2007.

12. Yu Zhou, Jian Pan, Xiaoxing Ma, et al. Applying Ontology in Architecture-based Self-Management Applications. In Proc. of 22nd ACM Symposium on Applied Computing (SAC) Autonomic Computing Track. Korea, Seoul, 2007.

13. Zhou Yu, Ma Xiaoxing, Tao Xianping, Lu Jian. Towards a Component Framework for Architecture-Based Self-adaptive Applications, Journal of Wuhan University, Vol.11, No.5, 2006.

14. 葛季棟 胡海洋 周宇 胡昊 等. 一種基于不變量的工作流協(xié)同模型分解方法. 計(jì)算機(jī)學(xué)報(bào), 2012年 10月.

15. 陶先平 馬曉星 呂建 余萍 周宇. 軟件服務(wù)多模式交互中間件模型及其支撐技術(shù). 中國(guó)科學(xué)E輯, 2008, (04)

16. 馬曉星 ,曹春,余萍,周宇. 基于圖文法的動(dòng)態(tài)體系結(jié)構(gòu)支撐環(huán)境. 軟件學(xué)報(bào), 2008年第8期 .

17. 潘健,周宇,羅濱,馬曉星,呂建. 一種基于本體的軟件自適應(yīng)機(jī)制. 計(jì)算機(jī)科學(xué),2007年第11期.

18. 周宇,馬曉星,曹建農(nóng),余萍,呂建. 普適環(huán)境下基于軟件代理虛擬化的應(yīng)用遷移. 軟件學(xué)報(bào),2007年第8期.
科研成果獲獎(jiǎng)及專利:
1. 一種基于軟件主體的應(yīng)用流動(dòng)方法。發(fā)明專利,專利號(hào):ZL.200710025456.3, 發(fā)明人:呂建,馬曉星,周宇。
2. 一種層次式時(shí)間自動(dòng)機(jī)平展算法。發(fā)明專利,申請(qǐng)?zhí)枺?01210218467.4, 發(fā)明人:周宇,胡軍,黃志球。
承擔(dān)的科研項(xiàng)目情況:
主持國(guó)家自然科學(xué)基金1項(xiàng),軟件新技術(shù)國(guó)家重點(diǎn)實(shí)驗(yàn)室開(kāi)放課題1項(xiàng),高校基本科研業(yè)務(wù)專項(xiàng)1項(xiàng)。參與國(guó)家自然科學(xué)基金及863項(xiàng)目多項(xiàng),參與歐盟第七框架項(xiàng)目1項(xiàng)。
指導(dǎo)研究生情況:

目前指導(dǎo)碩士研究生1人。
備注:

歡迎對(duì)我的研究方向感興趣的學(xué)生報(bào)考!

  *如果發(fā)現(xiàn)導(dǎo)師信息存在錯(cuò)誤或者偏差,歡迎隨時(shí)與我們聯(lián)系,以便進(jìn)行更新完善。聯(lián)系方式>>

以上老師的信息來(lái)源于學(xué)校網(wǎng)站,如有更新或錯(cuò)誤,請(qǐng)聯(lián)系我們進(jìn)行更新或刪除,聯(lián)系方式

添加南京航空航天大學(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é)考研公眾號(hào) 考研派小站公眾號(hào)
南京航空航天大學(xué)

本文來(lái)源:http://zgxindalu.cn/nanjinghangkonghangtian/daoshi_474032.html

推薦閱讀