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

■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