コンピュータ科学科

私は、スマート社会実現のための安全安心快適ネットワークの構築技術を研究しています。安全安心はもとより、快適なコミュニケーションのために必要になる、「過度な負荷がネットワークにかからないようにする輻輳制御技術」、「攻撃に対してプ ...

名古屋大学 大学院情報学研究科 附属組込みシステム研究センター 准教授
（情報システム学専攻 情報プラットフォーム論講座 所属）

個人ウェブサイト:
E-Mail: yoshida AT ert ...

近年、いわゆるAIと呼ばれる、機械学習(ML: Machine Learning)や深層ニューラルネットワーク(DNN: Deep Neural Network)の世の中の情報システムへの応用が非常に盛んとなっております。そのため、情 ...

機器に組み込まれてそれを制御するコンピュータシステムである組込みシステムの構築技術について幅広く研究しています。具体的には，組込みシステム向けリアルタイムOS，リアルタイム性保証技術，機能安全技術，組込みシステムのサイバーセキ ...

研究キーワード: サイバーセキュリティ、ネットワークセキュリティ、ネットワーク運用

サイバー攻撃の被害は今や広くニュースに取り上げられる時代であり、なおかつ、その被害は減る様子を見せないという残念が現状にあります。 ...

形式言語理論に関する研究と、それらの知見を利用してシステムの安全性などの検証法に関する研究に興味をもって取り組んでいる。具体的には、木変換器などの形式モデルなどの基礎研究や、それらを利用してXML文書などの構造化データに対する ...

形式言語理論やソフトウェア基礎理論の研究とともに、それらの理論を応用して現実世界をモデル化し問題解決することに興味をもっています。研究では、なぜ問題がうまく解けたのか（もしくは、解けなかったのか）を客観的に理解することも重要だ ...

科学技術計算のための数値シミュレーションを実行する際、最先端のスーパーコンピュータで高性能を引き出すためには、計算機アーキテクチャと数値計算アルゴリズムの双方について熟知する必要があります。そのため、誰でも容易に高性能計算がで ...