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
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
Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version
Tran, D.D., Do, C.M., Escobar, S., Ogata, K.
PeerJ Computer Science, 9, -1556, 2023

■賞等

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