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

Awards

Yasuyuki TAHARA (田原康之)

02/2025

Winner: 浅古瑞穂; 田原康之; 大須賀昭彦; 清雄一 (['student'])
Related Link:
URL https://www.uec.ac.jp/news/prize/2025/20250227_6812.html

Internal Committees

Yasuyuki TAHARA (田原康之)