簡介
現(xiàn)為IEEE計(jì)算機(jī)學(xué)會復(fù)雜性技術(shù)委員會副主席，IEEE計(jì)算機(jī)學(xué)會、ACM、日本軟件科學(xué)與技術(shù)學(xué)會成員。
科研
多年來，他在計(jì)算機(jī)科學(xué)的許多領(lǐng)域，包括形式化工程方法、軟件開發(fā)方法學(xué)、軟件測試、可靠復(fù)雜的計(jì)算機(jī)系統(tǒng)和智能軟件工程環(huán)境等方面做出了重要貢獻(xiàn)。他在著名國際雜志及會議發(fā)表學(xué)術(shù)論文80多篇，出版研究專著4部。
