情報システム学専攻, 組込みシステム研究センター組込みシステム, ソフトウェア工学, 教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系

プロフィール

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

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

情報システム学専攻, 組込みシステム研究センター未来社会創造機構, 教員紹介, 情報システム学専攻, 組込みシステム研究センター, コンピュータ科学科, 情報システム系

研究内容

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

情報システム学専攻教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系

研究内容

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

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

情報システム学専攻教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系

研究内容

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

情報システム学専攻教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系

研究内容

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

情報システム学専攻スーパーコンピュータ, 高性能計算, 自動チューニング, 大規模AI, 量子コンピュータ, 情報基盤センター, 教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系

研究内容

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

情報システム学専攻スーパーコンピュータ, 高性能計算, 情報基盤センター, 教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系

研究内容

スーパーコンピュータなどの高性能な計算ハードウェアの活用なくして、現代の便利な生活もさらなる科学の発展もありえません。計算ハードウェアの性能を最大限に発揮するためにはそれに見合うソフトウェアが必要ですが、ハードウェアの特徴・特 ...

情報システム学専攻教員紹介, 情報システム学専攻, コンピュータ科学科, 情報システム系

研究内容

現在、インターネットが日常生活に必要不可欠なものとなっている一方で、マルウェア感染や組織への標的型攻撃など金銭取得を目的とした組織的な活動による問題も発生している。そこで我々は、安全にインターネットが利用できる環境の実現を目的 ...

情報システム学専攻, 組込みシステム研究センター組込みシステム, セキュリティ, スケジューリング, 車載システム, 教員紹介, 情報システム学専攻, 組込みシステム研究センター, コンピュータ科学科, 情報システム系

研究内容

近年,組込みシステムのソフトウェアは大規模になり,複雑化が著しいです.例えば,自動車の電子制御システムは利便性や快適性を追求するために多くの機能が搭載され,今後も自動走行システムや様々な機器との連携が想定されており,ますます発 ...