TOP  >  Personal Info.
TRAN, Duong Dinh Research Assistant Professor
Information Science, Next-Generation Digital Infrastructure
◆Degrees
Ph.D. in Information Science Japan Advanced Institute of Science and Technology
MSc in Information Science Japan Advanced Institute of Science and Technology
◆Professional Experience
2025 - : Japan Advanced Institute of Science and Technology , Research Assistant Professor
2024 - 2025 : Japan Advanced Institute of Science and Technology , Postdoctoral Researcher (Tomita's lab)
2023 - 2024 : Japan Advanced Institute of Science and Technology , Postdoctoral Researcher (Ogata's lab)
◆Specialties
Software
◆Research Keywords
Verification, Theorem Proving, Model checking, Software Engineering, Formal Method Application, Autonomous Driving Systems

■Publications

◆Published Papers
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

■Academic  Awards

・ Outstanding Graduate Student , Japan Advanced Institute of Science and Technology , 2023
・ Valedictorian, Information Technology Major, Class of 2018 , VNU University of Engineering and Technology , 2018