コンピューティング科学
平石 邦彦 教授 HIRAISHI Kunihiko
平石研究室 HIRAISHI Laboratory
新規の学生受入は行っていません
過去・現在・未来を知るための
システム数理技術について学ぼう
キーワード：離散事象／ハイブリッドシステム・形式検証・エージェントシミュレーション・状況アウェアネス・ビジネスプロセス
学修分野：情報科学
詳しく見る
コンピューティング科学
廣川 直 准教授 HIROKAWA Nao
計算理論研究室 Laboratory on Theory of Computation
プログラミング言語と自動証明
キーワード：理論計算機科学・記号計算・関数型プログラミング言語・自動証明・停止性・計算量解析
学修分野：情報科学
詳しく見る
コンピューティング科学
藤﨑 英一郎 教授 FUJISAKI Eiichiro
暗号と情報セキュリティ研究室 Laboratory on Cryptography and Information Security
情報通信システムの安全性を数学的に証明する
キーワード：暗号方式設計と攻撃手法、安全性理論、耐量子暗号、秘密計算、ネットワークセキュリティ
学修分野：情報科学
詳しく見る
