TOP  >  Personal Info.
TRAN, Duong Dinh 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
2026 - : Japan Advanced Institute of Science and Technology , Assistant Professor
2025 - 2026 : 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
From Simulation to Verification: A Flexible Interface for Scenario Description in Autoware Autonomous Driving Ecosystem
Duong Dinh Tran, Peter Riviere, Takashi Tomita, Toshiaki Aoki
2026 IEEE 50th Annual Computers, Software, and Applications Conference (COMPSAC), 436-445, 2026
Symbolic Analysis and Verification of Hybrid Post-Quantum TLS 1.2
Duong Dinh Tran, Kazuhiro Ogata, Santiago Escobar, and Sedat Akleylek
IEEE Access, -, 2026
Facilitating Uncertainty in Perception-aware Responsibility-Sensitive Safety
Akhoury Shauryam, Tanadol Chuntarasupt, Peter Riviere, Duong Dinh Tran, Toshiaki Aoki
Proceedings of the 41st ACM/SIGAPP Symposium on Applied Computing, 2027-2036, 2026
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), -, 2026
Proof Scores: A Survey
Adrián Riesco, Kazuhiro Ogata, Masaki Nakamura, Daniel Gaina, Duong Dinh Tran, Kokichi Futatsugi
ACM Computing Surveys, -, 2025

■Contributions to  Society

◆Committee Memberships
・ The 8th International Workshop on Formal Methods for Autonomous Systems (FMAS 2026) , PC member , 2026-
・ The 38th International Conference on Software Engineering & Knowledge Engineering (SEKE 2026) , PC member , 2026-
・ The 27th International Conference on Formal Engineering Methods (ICFEM 2026) , PC member , 2026-

■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