コンピューティング科学
平石 邦彦 教授 HIRAISHI Kunihiko
平石研究室 HIRAISHI Laboratory
過去・現在・未来を知るための システム数理技術について学ぼう
キーワード:離散事象/ハイブリッドシステム・形式検証・エージェントシミュレーション・状況アウェアネス・ビジネスプロセス
学修分野:情報科学
詳しく見る
世界から集まるトップレベルの教授陣と幅広い研究分野。
あなたのやりたい研究が、きっと見つかるはず。
コンピューティング科学
平石研究室 HIRAISHI Laboratory
過去・現在・未来を知るための システム数理技術について学ぼう
キーワード:離散事象/ハイブリッドシステム・形式検証・エージェントシミュレーション・状況アウェアネス・ビジネスプロセス
学修分野:情報科学
詳しく見る
バイオ機能医工学
平塚研究室 HIRATSUKA Laboratory
タンパク質分子モーターで駆動する微小機械
キーワード:分子ロボティクス、MEMS/マイクロマシン、分子モーター、遺伝子工学
学修分野:マテリアルサイエンス
詳しく見る
コンピューティング科学
廣川研究室 HIROKAWA Laboratory
プログラミング言語と自動証明
キーワード:理論計算機科学・記号計算・関数型プログラミング言語・自動証明・停止性・計算量解析
学修分野:情報科学
詳しく見る
バイオ機能医工学
高村(禅)研究室
液体から高機能性材料を創成し、生体・環境の見える化へ
キーワード:MOD法、薄膜トランジスタ、生体分子検出、バイオチップ、プリンテッドエレクトロニクス
学修分野:マテリアルサイエンス
詳しく見る
共創インテリジェンス
ヒュン研究室 HUYNH Laboratory
Decision Intelligence
キーワード:Machine learning, Data analytics, Argumentation, Optimization, Uncertainty management, Decision analysis
学修分野:知識科学、情報科学
詳しく見る
コンピューティング科学
藤﨑研究室 FUJISAKI Laboratory
情報通信システムの安全性を数学的に証明する
キーワード:暗号方式設計と攻撃手法、安全性理論、耐量子暗号、秘密計算、ネットワークセキュリティ
学修分野:情報科学
詳しく見る
創造社会デザイン
藤波研究室 FUJINAMI Laboratory
心と体のあいだで知を探る
キーワード:身体技能、存在感通信
学修分野:知識科学
詳しく見る
バイオ機能医工学
藤本研究室 FUJIMOTO Laboratory
分子技術を核酸医薬・光ゲノム操作へ ~DNA/RNAを光で操る~
キーワード:核酸医薬、光DNA/RNA操作、光ゲノム編集、有機合成、遺伝子治療、遺伝子診断、分子ロボティクス
学修分野:マテリアルサイエンス
詳しく見る
次世代デジタル社会基盤
ベウラン研究室 BEURAN Laboratory
セキュリティの研究により次世代社会の信頼性を高める
キーワード:サイバーセキュリティ、IoT/CPSセキュリティ、AI、信頼性保証、サイバーレンジ
学修分野:情報科学
詳しく見る