TRAN, Duong Dinh
Assistant Professor
Information Science, Next-Generation Digital Infrastructure
Ph.D. in Information Science Japan Advanced Institute of Science and Technology
MSc in Information Science Japan Advanced Institute of Science and Technology
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)
Software
Verification, Theorem Proving, Model checking, Software Engineering, Formal Method Application, Autonomous Driving Systems
Safety Reference Benchmarks with Avoidability Criteria for Evaluating Autonomous Driving Systems
Duong Dinh Tran, Peter Riviere, Takashi Tomita, Toshiaki Aoki
The 37th IEEE International Symposium on Software Reliability Engineering (ISSRE 2026), 907-918, 2026
・ 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-
・ 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