Curriculum Vitae
General Information
| Name | Duong Dinh Tran |
| duongtd[at]jaist.ac.jp | |
| Url | https://duongtd23.github.io |
| Location | I74, School of Information Science, JAIST, Ishikawa, 923-1292 Japan |
| Languages | English (proficient), Japanese (basic conversational), and Vietnamese (native) |
Education
-
2020.10 - 2023.09 Ishikawa, Japan
PhD
Japan Advanced Institute of Science and Technology (JAIST)
Information Science
- Formal verification with algebraic techniques and its application
-
2019.10 - 2020.09 Ishikawa, Japan
-
2018.10 - 2019.09 Hanoi, Vietnam
Work Experience
-
2025.04 - present Research Assistant Professor
Japan Advanced Institute of Science and Technology (JAIST)
- Software Engineering
- Practical application of Formal Method
-
2024.06 - 2025.03 Postdoctoral Researcher
JAIST
Research on verification of Autonomous Driving Systems, working with Takashi Tomita and Toshiaki Aoki
- autonomous driving
-
2023.10 - 2024.05 Postdoctoral Researcher
JAIST
Research on formal verification of Post-quantum cryptographic protocols, working with Kazuhiro Ogata
- post-quantum
-
2018.08 - 2019.09 Lecturer
VNU University of Engineering and Technology (VNU-UET)
Full-time lecturer at Faculty of Information Technology, VNU-UET
-
2017.06 - 2017.12
Awards
- 2023.09.22
Outstanding Graduate Student
JAIST President
- 2023.03.01
NEC C&C Grants for Non-Japanese Researchers
NEC C&C Foundation
- 2018.06.22
Valedictorian, Information Technology major, class of 2018
VNU-UET President
- 2018.05.30
Outstanding Graduate Student, class of 2014-2018
Vietnam National University's Director
Research Interests
| Practical application of formal method to: | |
| - Verification of Autonomous Driving Systems | |
| - Security analysis of Classical and Post-quantum cryptographic protocols | |
| - Verification of concurrent programs, safe memory reclaimation, mutual exclusion protocols, etc. |
References
| Prof. Kazuhiro Ogata | |
| I97, School of Information Science, JAIST, Ishikawa, 923-1292 Japan. Email: ogata@jaist.ac.jp |
| Prof. Toshiaki Aoki | |
| I74, School of Information Science, JAIST, Ishikawa, 923-1292 Japan. Email: toshiaki@jaist.ac.jp |
| Prof. Santiago Escobar | |
| Dept. of Computer Systems and Computation, Valencia Polytechnic University, Valencia, E-46022 Spain. Email: sescobar@upv.es |