学科・大学院

コンピュータ科学専攻

プログラミング言語研究室

千代 英一郎

安心・安全なソフトウェアの実現を目指す

プログラミング言語研究室

学びのキーワード

  • データベース技術
  • 並列・分散処理
  • 知識情報処理
  • プログラム解析
  • 言語処理
  • 自律制御システム

千代 英一郎 准教授

研究分野
  • プログラミング言語
  • データベース
  • 知識情報処理
研究室紹介
交通・金融・医療など主要な社会基盤がソフトウェアにより制御される現在、その信頼性の確保が厳しく問われています。プログラミング言語理論を基礎に、言語処理系拡張による不正動作防止、セキュリティ検査技術などの研究に取り組みます。
研究室紹介PDF