新田 直也（にった なおや）
[English]【研究内容】
- 形式的手法、ソフトウェア基礎理論
- 無限状態遷移システムに対するモデル検査
- ソフトウェアの設計変更を支援する論理（依存論理）の提案
- プログラム変換（リファクタリング）
- 情報セキュリティ
- セキュリティプロトコルの安全性検証
- 侵入検知システムの自動構成法
- バッファオーバーフローの自動検出法
【略歴】
1967年 2月27日生まれ 1991年 大阪大学工学部原子力工学科卒業 1998年 (株)ダイナウェア退社 1998年 奈良先端科学技術大学院大学 情報科学研究科 博士前期課程入学 1999年 同上 博士後期課程進学 2002年 同上 修了 2002年 奈良先端科学技術大学院大学 情報科学研究科 助手 2005年 甲南大学 理工学部 情報システム工学科 講師