劉少英

現為IEEE計算機學會複雜性技術委員會副主席，IEEE計算機學會、ACM、日本軟體科學與技術學會成員。

多年來，他在計算機科學的許多領域，包括形式化工程方法、軟體開發方法學、軟體測試、可靠複雜的計算機系統和智能軟體工程環境等方面做出了重要貢獻。他在著名國際雜誌及會議發表學術論文80多篇，出版研究專著4部。