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

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

Awards

Yasuyuki TAHARA (田原 康之)

02/2025

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

Awards

Yasuyuki TAHARA (田原 康之)

11/2023

Winner: Keiichiro Oishi; Yuichi Sei; Yasuyuki Tahara; Akihiko Ohsuga (['student'])
Award Type: international_society
Related Link:
URL https://www.uec.ac.jp/news/prize/2023/20231218_5866.html

Awards

Yasuyuki TAHARA (田原 康之)

09/2023

Winner: 赤塚 哲丸; 折原 良平; 清 雄一; 田原 康之; 大須賀 昭彦 (['student'])
Award Type: japan_society
Related Link:
URL https://www.uec.ac.jp/news/prize/2023/20230921_5639.html

Awards

Yasuyuki TAHARA (田原 康之)

09/2023

Winner: 徐 江林; 折原 良平; 清 雄一; 田原 康之; 大須賀 昭彦 (['student'])
Award Type: japan_society
Related Link:
URL https://www.uec.ac.jp/news/prize/2023/20230921_5639.html

Awards

Yasuyuki TAHARA (田原 康之)

05/2023

Winner: 羽田 拓朗; 清 雄一; 田原 康之; 大須賀 昭彦 (['student'])
Award Type: publisher
Related Link:
URL https://www.uec.ac.jp/news/prize/2023/20230526_5391.html

Awards

Yasuyuki TAHARA (田原 康之)

03/2023

Winner: 南 智仁; 清 雄一; 田原 康之; 大須賀 昭彦 (['student'])
Award Type: japan_society
Related Link:
URL https://www.uec.ac.jp/news/prize/2023/20230322_5245.html

Awards

Yasuyuki TAHARA (田原 康之)

01/2023

Winner: 櫻庭秀次; 依田みなみ; 清雄一; 田原康之; 大須賀昭彦 (['teacher'])
Award Type: official_journal
Related Link:
URL https://www.uec.ac.jp/news/prize/2023/20230208_5153.html

Awards

Yasuyuki TAHARA (田原 康之)

12/2022

Winner: 大石慶一朗; 清雄一; 田原康之; 大須賀昭彦 (['teacher'])
Related Link:
URL https://www.uec.ac.jp/news/prize/2022/20221222_5042.html

Logo image