コンピュータ科学専攻
プログラミング言語研究室
千代 英一郎
安心・安全なソフトウェアの実現を目指す
学びのキーワード
- データベース技術
- 並列・分散処理
- 知識情報処理
- プログラム解析
- 言語処理
- 自律制御システム
千代 英一郎 准教授
- 研究分野
-
- プログラミング言語
- データベース
- 知識情報処理
- 研究室紹介
- 交通・金融・医療など主要な社会基盤がソフトウェアにより制御される現在、その信頼性の確保が厳しく問われています。プログラミング言語理論を基礎に、言語処理系拡張による不正動作防止、セキュリティ検査技術などの研究に取り組みます。
- 研究室紹介PDF