劉少英、趙建軍教授受聘為軟件中心評測重點(diǎn)實(shí)驗室客座教授

2012年1月6日，上海軟件中心評測重點(diǎn)實(shí)驗室在國家863軟件孵化基地舉行了客座教授聘請儀式。來(lái)自日本政法大學(xué)的劉少英教授和來(lái)自上海交通大學(xué)的趙建軍教授被聘請為實(shí)驗室客座教授。

聘請劉少英教授和趙建軍教授為軟件中心評測重點(diǎn)實(shí)驗室客座教授，對于促進(jìn)實(shí)驗室在軟件測試技術(shù)研究領(lǐng)域的快速發(fā)展、占領(lǐng)軟件測試標準研究制高點(diǎn)、以及推動(dòng)實(shí)驗室與國際軟件測試機構的合作有著(zhù)重要的意義。
 

聘請儀式后，劉少英教授作了題為“Automatic Specification-Based Program Testing”的專(zhuān)題講座；重點(diǎn)實(shí)驗室學(xué)術(shù)委員會(huì )副主任繆淮扣教授也作了題為“Model-based Testing for Web Applications”的專(zhuān)題講座。講座內容新穎，深入淺出，還就實(shí)驗室關(guān)心的技術(shù)問(wèn)題進(jìn)行了討論，使大家受益匪淺。

劉少英教授，是日本著(zhù)名計算機專(zhuān)家，日本法政大學(xué)教授。早年在西安交通大學(xué)獲得學(xué)士和碩士學(xué)位，后在英國曼徹斯特大學(xué)獲得博士學(xué)位?，F為IEEE 計算機學(xué)會(huì )復雜性技術(shù)委員會(huì )副主席，IEEE計算機學(xué)會(huì )、ACM、日本軟件科學(xué)與技術(shù)學(xué)會(huì )成員。多年來(lái)，他在計算機科學(xué)的許多領(lǐng)域，包括形式化工程方法、軟件開(kāi)發(fā)方法學(xué)、軟件測試、可靠復雜的計算機系統和智能軟件工程環(huán)境等方面做出了重要貢獻。

趙建軍教授，是上海交通大學(xué)教授，博士生導師。早年在清華大學(xué)獲得學(xué)士學(xué)位，后在日本國立九州大學(xué)計算機科學(xué)與通信系留學(xué)，獲得計算機科學(xué)博士學(xué)位。曾任日本福岡工業(yè)大學(xué)計算機科學(xué)與工程系副教授，在美國麻省理工學(xué)院計算機科學(xué)實(shí)驗室(MIT Laboratory for Computer Science)作訪(fǎng)問(wèn)教授一年，現任中國計算機學(xué)會(huì )軟件工程專(zhuān)業(yè)委員會(huì )委員。他的主要研究領(lǐng)域包括面向方面軟件開(kāi)發(fā)（Aspect-Oriented Software Development），高可靠軟件系統的構建、軟件體系結構、軟件測試、軟件理解與維護、軟件系統的復雜性度量、軟件系統的驗證、程序語(yǔ)言設計與實(shí)現、編譯優(yōu)化等。