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
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