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

Professional Service

Yasuyuki TAHARA (田原 康之)

06/11/2025–08/11/2025

Awards

Yasuyuki TAHARA (田原 康之)

07/2025

Winner: 佐藤 豪; 江上 周作; 田原 康之; 大須賀 昭彦; 清 雄一 (['teacher', 'student'])
Award Type: japan_society
Related Link:
URL https://www.uec.ac.jp/news/prize/2025/20250717_7089.html

Awards

Yasuyuki TAHARA (田原 康之)

07/2025

Winner: 関 優花; 折原 良平; 田原 康之; 大須賀 昭彦; 清 雄一 (['teacher', 'student'])
Award Type: japan_society
Related Link:
URL https://www.uec.ac.jp/news/prize/2025/20250717_7089.html

Professional Service

Yasuyuki TAHARA (田原 康之)

02/02/2025–02/02/2025

Internal Committees

Yasuyuki TAHARA (田原 康之)

2025

Internal Committees

Yasuyuki TAHARA (田原 康之)

2025

Internal Committees

Yasuyuki TAHARA (田原 康之)

2025

Student Mentoring

関連する研究者: Yasuyuki TAHARA (田原 康之)

2025

Professional Service

Yasuyuki TAHARA (田原 康之)

28/11/2024–30/11/2024
Logo image