氏名：田原 康之 / Tahara Yasuyuki
役職：准教授
専門分野：情報通信 / ソフトウェア
キーワード：ソフトウェア基礎理論、セキュリティの形式検証、Formal Verification of Security、圏論、Category Theory、Formal Semantics、、Algebraic Models、Fundamental Theories of Software、Security RE、Secure Systems Engineering、Requirements Engineering (Goal-Oriented RE in particular)、Formal Verification (Model Checking in particular)、Software Engineering、形式的意味論、代数モデル、セキュリティ要求分析、セキュアなシステムの開発手法、要求工学（特にゴール指向要求分析）、形式検証（特にモデル検査）、ソフトウェア工学
