Logo image
 UEC Website Open Policy Finder
サインイン
戻る

Yasuyuki TAHARA (田原 康之)

0110100_Ⅰ類（情報系）, 0110000_情報理工学域, The University of Electro-Communications

ソフトウェア基礎理論  セキュリティの形式検証  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  形式的意味論  代数モデル  セキュリティ要求分析  セキュアなシステムの開発手法  要求工学（特にゴール指向要求分析）  形式検証（特にモデル検査）  ソフトウェア工学

Board

Yasuyuki TAHARA (田原 康之)

04/2021

Committee_Type: society

Board

Yasuyuki TAHARA (田原 康之)

04/2019

Committee_Type: society

Board

Yasuyuki TAHARA (田原 康之)

01/04/2018–31/03/2019

Committee_Type: society

Board

Yasuyuki TAHARA (田原 康之)

01/04/2018–31/03/2022

Committee_Type: society

Board

Yasuyuki TAHARA (田原 康之)

01/04/2012–31/03/2016

Committee_Type: society

Board

Yasuyuki TAHARA (田原 康之)

01/04/2008–31/03/2013

Committee_Type: society

Logo image