授業関連

• アルゴリズム論
• 言語処理系
• システム評価設計工学特論
• ディペンダブルシステム特論
• ディペンダブルコンピューティング特論

研究

研究者情報検索より

• 耐故障システムと高信頼計算
• 関数 (型) プログラミング言語 (特に Haskell)
• 高信頼相互結合網
• 教育システム

メンバ

教授

• 金子 敬一

助教

• Htoo Htoo Sandi Kyaw

秘書

• 石崎 牧子

院生

• 平松 勲
• 鄭 信雨
• 市田 展之
• 王 乙同
• 張 珺
• 太田 佳佑
• 安藝 耀太郎
• 阿部 安倫
• 金子 新

学部生

• 佐藤　翼
• 橋之口 凌平
• 小原 悠ノ介
• 神崎 竜真
• 大和 晃旗

研究生

外部研究協力者

海外

• ヤゲロニア大学(ポーランド) Bipin Indurkhya 教授
• ハノイ科学技術大学(ベトナム) Huynh Thi Thanh Binh 准教授
• ブライトン大学(連合王国) Marcus Winter 講師
• エジンバラ大学(連合王国) Kay Penny 講師

国内

• 法政大学　李 亜民 教授
• 津田塾大学　都田 青子 教授
• 神奈川大学　Antoine Bossard 教授
• 東京成徳大学　石川 正敏 准教授
• 信州大学　平井 佑樹 准教授
• 玉川大学　田中 昂文 助教