コンピューティング科学
髙木 翼 准教授 TAKAGI Tsubasa
髙木(翼)研究室 TAKAGI Laboratory
計算機科学の理論的基盤を構築する
キーワード:多ソート等式論理、様相論理、動的論理(ホーア論理)、時相論理(モデル検査)、量子論理
学修分野:情報科学
詳しく見る
世界から集まるトップレベルの教授陣と幅広い研究分野。
あなたのやりたい研究が、きっと見つかるはず。
コンピューティング科学
髙木(翼)研究室 TAKAGI Laboratory
計算機科学の理論的基盤を構築する
キーワード:多ソート等式論理、様相論理、動的論理(ホーア論理)、時相論理(モデル検査)、量子論理
学修分野:情報科学
詳しく見る
バイオ機能医工学
高木研究室 TAKAGI Laboratory
生体環境ダイナミクスを探る、操る、創る
キーワード:ソフトマター物理、合成生物学、膜ダイナミクス、細胞信号伝達
学修分野:マテリアルサイエンス
詳しく見る
ナノマテリアル・デバイス
前之園研究室 MAENOSONO Laboratory
ナノバイオテクノロジー
キーワード:ナノ粒子、バイオ医療応用
学修分野:マテリアルサイエンス
詳しく見る
ナノマテリアル・デバイス
高村(由)研究室 YAMADA-TAKAMURA Laboratory
表面・界面の理解に基づいた ナノマテリアル開発
キーワード:ナノマテリアル、二次元材料、薄膜成長、走査プローブ顕微鏡、放射光実験
学修分野:マテリアルサイエンス
詳しく見る
バイオ機能医工学
高村(禅)研究室 TAKAMURA Laboratory
ナノとバイオを融合して
医療と環境の問題を解決する
キーワード:血液分析チップ、一細胞解析、質量分析チップ、マイクロ元素分析、微細加工プロセス、バイオチップ、マイクロプラズマ
学修分野:マテリアルサイエンス
詳しく見る
次世代デジタル社会基盤
田中研究室 TANAKA Laboratory
高性能コンピュータを作ろう
キーワード:キャッシュメモリ、低消費電力、高機能メモリシステム、FPGA、相互結合網、リアルタイムスケジューリング、組込みOS
学修分野:情報科学
詳しく見る
物質化学フロンティア
谷池研究室 TANIIKE Laboratory
“探索・学習・予測”のシナジーを実践する
次世代マテリアル設計
キーワード:固体触媒、重合、ナノコンポジット、分離膜、グラフェン、データ科学
学修分野:マテリアルサイエンス
詳しく見る
共創インテリジェンス
ダム研究室 DAM Laboratory
データ解析のコンセプトを学んで
情報化時代における知識の獲得を楽しもう
キーワード:計算機シミュレーション、データマイニング
学修分野:知識科学、情報科学、マテリアルサイエンス
詳しく見る
次世代デジタル社会基盤
丹研究室 TAN Laboratory
家庭環境で人々を支援する ICTシステムの研究を推進しています
キーワード:IoT、M2M、ホームネットワーク、情報家電、スマートハウス、国際標準化
学修分野:情報科学
詳しく見る