劉少英-軟件學院

【国民娱乐每日礼金gm777.top,神灯彩票官方登录注册站中大奖】我们为您提供神灯彩票官方登录注册站注册,神灯彩票官方登录注册站投注,神灯彩票官方登录注册站app,神灯彩票官方登录注册站平台,巨华彩票开户,充提快速,操控简单,为神灯彩票官方登录注册站彩民服务!

當前位置: 首頁 > 師資隊伍 > 外籍教師 > 正文

劉少英

更新時間:2017-03-28 10:37:50

劉少英 教授 日本籍

1982年1月畢業于西安交通大學并于1987年4月獲同校計算機科學碩士學位,1992年獲英國曼徹斯特大學計算機科學博士學位。

劉少英教授是日本著名計算機專家,現任日本法政大學計算機科學教授,博士生導師。

主要研究領域包括軟件工程、軟件開發的形式化工程方法、軟件設計方法、程序驗證、軟件測試以及智能軟件工程環境。

自1994年以來,已領導和主持由日本文部科學省、國立信息研究所(NII)、大川情報科學財團、SCAT財團、以及日本信號、NTT Data和三菱電機等日本政府、財團和大企業分別資助的20個以上的研究項目,創立和發展了“軟件開發的形式化工程方法”,研制開發了SOFL形式化工程開發語言和方法,由Springer出版專著一本,編著由IEEE CS Press和Springer LNCS系列出版的論文集8本,在IEEE Transactions on Software Engineering, IEEE Transactions on Reliability等國際學術期刊和國際會議發表160多篇論文。

歷任多數國際會議大會主席,程序委員會主席,以及國際學術期刊的編委。曾被Journal of Systems and Software評為1993年至1996年期間的在系統和軟件工程領域的世界top 15名學者之一,在1996年獲得由IEEE國際會議授予的“優秀論文獎”,在2010年6月被英國計算機協會授予Fellow。

神灯彩票官方登录注册站