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

■研究業績

◆発表論文
Proof Scores: A Survey
Adrián Riesco, Kazuhiro Ogata, Masaki Nakamura, Daniel Gaina, Duong Dinh Tran, Kokichi Futatsugi
ACM Computing Surveys, -, 2025
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), -, 2025
Safety Analysis of Autonomous Driving Systems: A Simulation-Based Runtime Verification Approach
Duong Dinh Tran, Takashi Tomita, Toshiaki Aoki
IEEE Transactions on Reliability, -, 2025
Verifying Safe Memory Reclamation in Concurrent Programs with CafeOBJ
Duong Dinh Tran, Kazuhiro Ogata
Rewriting Logic and Its Applications - 15th International Workshop(WRLA), 45-61, 2024
Formal Analysis of Post-Quantum Hybrid Key Exchange SSH Transport Layer Protocol
Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, Sedat Akleylek, Ayoub Otmani
IEEE Access, 12, 1672-1687, 2024

■賞等

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