トップページ  >  教員個別情報
TRAN, Duong Dinh （TRAN, Duong Dinh）助教
情報科学, 次世代デジタル社会基盤研究領域
◆学位
博士（情報科学） 北陸先端科学技術大学院大学
修士 （情報科学） 北陸先端科学技術大学院大学
◆職歴
2026 - : 北陸先端科学技術大学院大学 , 助教
2025 - 2026 : 北陸先端科学技術大学院大学 , 特任助教
2024 - 2025 : 北陸先端科学技術大学院大学 , Postdoctoral Researcher (冨田研究室)
2023 - 2024 : 北陸先端科学技術大学院大学 , Postdoctoral Researcher (緒方研究室)
◆専門分野
ソフトウェア
◆研究キーワード
Verification, Theorem Proving, Model checking, Software Engineering, Formal Method Application, Autonomous Driving Systems

■研究業績

◆発表論文
From Simulation to Verification: A Flexible Interface for Scenario Description in Autoware Autonomous Driving Ecosystem
Duong Dinh Tran, Peter Riviere, Takashi Tomita, Toshiaki Aoki
2026 IEEE 50th Annual Computers, Software, and Applications Conference (COMPSAC), 436-445, 2026
Symbolic Analysis and Verification of Hybrid Post-Quantum TLS 1.2
Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, and Sedat Akleylek
IEEE Access, -, 2026
Facilitating Uncertainty in Perception-aware Responsibility-Sensitive Safety
Akhoury Shauryam, Tanadol Chuntarasupt, Peter Riviere, Duong Dinh Tran, Toshiaki Aoki
Proceedings of the 41st ACM/SIGAPP Symposium on Applied Computing, 2027-2036, 2026
Enhancing Decision-Making Safety in Autonomous Driving Through Online Model Checking
Duong Dinh Tran, Akira Hasegawa, Peter Riviere, Takashi Tomita, Toshiaki Aoki
The 11th International Conference on Rigorous State Based Methods (ABZ 2025), -, 2026
Proof Scores: A Survey
Adrián Riesco, Kazuhiro Ogata, Masaki Nakamura, Daniel Gaina, Duong Dinh Tran, Kokichi Futatsugi
ACM Computing Surveys, -, 2025

■学外活動

◆審議会等への参画状況
・ The 8th International Workshop on Formal Methods for Autonomous Systems (FMAS 2026) , PC member , 2026-
・ The 38th International Conference on Software Engineering & Knowledge Engineering (SEKE 2026) , PC member , 2026-
・ The 27th International Conference on Formal Engineering Methods (ICFEM 2026) , PC member , 2026-

■賞等

・ Outstanding Graduate Student , 北陸先端科学技術大学院大学 , 2023
・ Valedictorian, Information Technology Major, Class of 2018 , VNU University of Engineering and Technology , 2018