平成17年度事業推進担当者

計24名

氏　名	所属部局（専攻等）・職名	現在の専門学位	役割分担（平成17年度の研究実施計画における分担事項）等
（拠点リーダー）片山　卓也	情報科学研究科（情報システム学専攻）・教授	ソフトウェア科学・工学工学博士	拠点形成総括電子社会の検証・進化全般
小野　寛晰	情報科学研究科（情報処理学専攻）・教授	数理論理学およびその情報科学への応用理学博士	電子社会の形式的仕様記述体系グループ電子社会記述のための形式論理
二木　厚吉	情報科学研究科（情報システム学専攻）・教授	ソフトウェア工学工学博士	電子社会の形式的仕様記述体系グループ電子社会の形式仕様と検証
小川　瑞史	情報科学研究科・特任教授	ソフトウェア工学博士（理学）	電子社会の形式的仕様記述体系グループ電子社会の関数的記述
Vestergaard, Rene	情報科学研究科（情報システム学専攻）・助教授	プログラミング言語 Ph.D.	電子社会の形式的仕様記述体系グループ電子社会記述のための形式論理
中村　正樹	情報科学研究科（情報システム学専攻）・助手	ソフトウェア工学博士（情報科学）	電子社会の形式的仕様記述体系グループ電子社会の代数的記述
島津　明	情報科学研究科（情報処理学専攻）・教授	自然言語処理工学博士	電子社会の安心性要件の検証グループ電子社会のための法推論自然言語処理
東条　敏	情報科学研究科（情報処理学専攻）・教授	人工知能博士（工学）	電子社会の安心性要件の検証グループ電子社会のための法推論機構
宮地　充子	情報科学研究科（情報システム学専攻）・助教授	情報セキュリティ博士（理学）	電子社会の安心性要件の検証グループ電子社会のためのセキュリティ検証
双紙　正和	情報科学研究科・特任助教授	情報セキュリティ工学博士	電子社会の安心性要件の検証グループ電子社会のためのセキュリティ検証
DÉFAGO, Xavier	情報科学研究科・特任助教授	分散システム・耐故障性 Ph.D.	電子社会の安心性要件の検証グループ電子社会のためのディペンダビリティ検証
SHEN, Hong	情報科学研究科（情報システム学専攻）・教授	情報ネットワーク Ph.D.	電子社会のための検証方式グループ電子社会のための論理シミュレーション技術
篠田　陽一	情報科学センター・教授	インターネット技術工学博士	電子社会のための検証方式グループ電子社会シミュレーションのためのインターネット技術
平石　邦彦	情報科学研究科（情報システム学専攻）・教授	システム科学・工学工学博士	電子社会のための検証方式グループ電子社会のための検証技術
青木　利晃	情報科学研究科（情報システム学専攻）・助手	ソフトウェア工学博士（情報科学）	電子社会のための検証方式グループ電子社会検証のための定理証明システム技術
落水　浩一郎	情報科学研究科（情報システム学専攻）・教授	ソフトウェア工学工学博士	電子社会のモデル化と進化グループ電子社会進化のためのオブジェクト技術
池田　満	知識科学研究科（知識システム基礎学専攻）・教授	知識工学工学博士	電子社会のモデル化と進化グループ電子社会進化のための知識体系化
天野　憲樹	情報科学研究科（情報システム学専攻）・助手	ソフトウェア工学博士（情報科学）	電子社会のモデル化と進化グループ電子社会の進化のための言語
藤枝　和宏	情報科学研究科（情報システム学専攻）・助手	ソフトウェア工学博士（情報科学）	電子社会のモデル化と進化グループ電子社会のための進化環境
浅野　哲夫	情報科学研究科（情報処理学専攻）・教授	計算幾何学工学博士	安心電子社会基盤グループ検証進化アルゴリズム
日比野　靖	情報科学研究科（情報システム学専攻）・教授	コンピュータアーキテクチャ博士（工学）	安心電子社会基盤グループ電子社会の高信頼アーキテクチャ
金子　峰雄	情報科学研究科（情報システム学専攻）・教授	集積回路設計工学博士	安心電子社会基盤グループ電子社会の高信頼アーキテクチャ
赤木　正人	情報科学研究科（情報処理学専攻）・教授	音声情報処理工学博士	安心電子社会基盤グループ電子社会の音声インタフェース
党　建武	情報科学研究科（情報処理学専攻）・教授	音声情報処理博士（工学）	安心電子社会基盤グループ電子社会の音声インタフェース

↑ページ先頭へ戻る

氏　名	所属部局（専攻等）・職名	現在の専門学位	役割分担（平成17年度の研究実施計画における分担事項）等
（拠点リーダー）片山　卓也	情報科学研究科（情報システム学専攻）・教授	ソフトウェア科学・工学工学博士	拠点形成総括電子社会の検証・進化全般
小野　寛晰	情報科学研究科（情報処理学専攻）・教授	数理論理学およびその情報科学への応用理学博士	電子社会の形式的仕様記述体系グループ電子社会記述のための形式論理
二木　厚吉	情報科学研究科（情報システム学専攻）・教授	ソフトウェア工学工学博士	電子社会の形式的仕様記述体系グループ電子社会の形式仕様と検証
小川　瑞史	情報科学研究科・特任教授	ソフトウェア工学博士（理学）	電子社会の形式的仕様記述体系グループ電子社会の関数的記述
Vestergaard, Rene	情報科学研究科（情報システム学専攻）・助教授	プログラミング言語 Ph.D.	電子社会の形式的仕様記述体系グループ電子社会記述のための形式論理
中村　正樹	情報科学研究科（情報システム学専攻）・助手	ソフトウェア工学博士（情報科学）	電子社会の形式的仕様記述体系グループ電子社会の代数的記述
島津　明	情報科学研究科（情報処理学専攻）・教授	自然言語処理工学博士	電子社会の安心性要件の検証グループ電子社会のための法推論自然言語処理
東条　敏	情報科学研究科（情報処理学専攻）・教授	人工知能博士（工学）	電子社会の安心性要件の検証グループ電子社会のための法推論機構
宮地　充子	情報科学研究科（情報システム学専攻）・助教授	情報セキュリティ博士（理学）	電子社会の安心性要件の検証グループ電子社会のためのセキュリティ検証
双紙　正和	情報科学研究科・特任助教授	情報セキュリティ工学博士	電子社会の安心性要件の検証グループ電子社会のためのセキュリティ検証
DÉFAGO, Xavier	情報科学研究科・特任助教授	分散システム・耐故障性 Ph.D.	電子社会の安心性要件の検証グループ電子社会のためのディペンダビリティ検証
SHEN, Hong	情報科学研究科（情報システム学専攻）・教授	情報ネットワーク Ph.D.	電子社会のための検証方式グループ電子社会のための論理シミュレーション技術
篠田　陽一	情報科学センター・教授	インターネット技術工学博士	電子社会のための検証方式グループ電子社会シミュレーションのためのインターネット技術
平石　邦彦	情報科学研究科（情報システム学専攻）・教授	システム科学・工学工学博士	電子社会のための検証方式グループ電子社会のための検証技術
青木　利晃	情報科学研究科（情報システム学専攻）・助手	ソフトウェア工学博士（情報科学）	電子社会のための検証方式グループ電子社会検証のための定理証明システム技術
落水　浩一郎	情報科学研究科（情報システム学専攻）・教授	ソフトウェア工学工学博士	電子社会のモデル化と進化グループ電子社会進化のためのオブジェクト技術
池田　満	知識科学研究科（知識システム基礎学専攻）・教授	知識工学工学博士	電子社会のモデル化と進化グループ電子社会進化のための知識体系化
天野　憲樹	情報科学研究科（情報システム学専攻）・助手	ソフトウェア工学博士（情報科学）	電子社会のモデル化と進化グループ電子社会の進化のための言語
藤枝　和宏	情報科学研究科（情報システム学専攻）・助手	ソフトウェア工学博士（情報科学）	電子社会のモデル化と進化グループ電子社会のための進化環境
浅野　哲夫	情報科学研究科（情報処理学専攻）・教授	計算幾何学工学博士	安心電子社会基盤グループ検証進化アルゴリズム
日比野　靖	情報科学研究科（情報システム学専攻）・教授	コンピュータアーキテクチャ博士（工学）	安心電子社会基盤グループ電子社会の高信頼アーキテクチャ
金子　峰雄	情報科学研究科（情報システム学専攻）・教授	集積回路設計工学博士	安心電子社会基盤グループ電子社会の高信頼アーキテクチャ
赤木　正人	情報科学研究科（情報処理学専攻）・教授	音声情報処理工学博士	安心電子社会基盤グループ電子社会の音声インタフェース
党　建武	情報科学研究科（情報処理学専攻）・教授	音声情報処理博士（工学）	安心電子社会基盤グループ電子社会の音声インタフェース