Welcome to Duong's site
Ho Chi Minh city - 2019,
thanks to cuongbq
Duong Dinh Tran
Duong Dinh Tran, PhD student
Japan Advanced Institute of Science and Technology (JAIST)
Email: duongtd at jaist.ac.jp
Stay mostly at: I97 in JAIST School of Information Science building III
Resume: https://orcid.org/0000-0001-7092-2084
Research Interested
I'm interested in theorem proving in general. So far, my research topic is focusing on:
formal verification of post-quantum cryptographic protocols,
scalable proof score generation & lemma conjecture for formal verification
Education
2014-2018: VNU University of Engineering and Technology, Hanoi, Vietnam (Bachelor)
2019-2020: Japan Advanced Institute of Science and Technology - JAIST, Nomi, Ishikawa, Japan (MSc)
2020-now: JAIST (PhD)
Publications
Duong Dinh Tran, Dang Bui Duy, and Kazuhiro Ogata. Simulation-based invariant verification technique for the OTS/CafeOBJ method. IEEE Access, 2021. https://doi.org/10.1109/ACCESS.2021.3093211
Duong Dinh Tran, Dang Bui Duy, Parth Gupta, and Kazuhiro Ogata. Lemma weakening for state machine invariant proofs. In 27th Asia-Pacific Software Engineering Conference (APSEC 2020). doi.org/10.1109/APSEC51365.2020.00010
Duong Dinh Tran and Kazuhiro Ogata. Formal verification of an abstract version of Anderson protocol with CafeOBJ, CiMPA and CiMPG. In 32nd International Conference on Software Engineering and Knowledge Engineering, SEKE 2020, KSIR Virtual Conference Center, USA, July 9-19, 2020
Duong Tran Dinh, Pham Ngoc Hung, and Tung Nguyen Duy. A method for automated user interface testing of windows-based applications. In Proceedings of the Ninth International Symposium on Information and Communication Technology, SoICT 2018, pages 337-343, New York, NY, USA, 2018. ACM. https://doi.org/10.1145/3287921.3287939
The up-to-date list of publications can be found at Google Scholar.
Achievements and Awards
2022/04: NEC C&C Grants for Non-Japanese Researchers from 2022/04 to 2023/03
2020/10: JAIST Doctoral Research Fellowship (DRF)
2019/09: Vietnam National University & JAIST 1-1 Master scholarship
2018/11: Top 30 finalists Honda YES (Young Engineer and Scientist’s) Vietnam 2018 (Honda Foundation)
2018/06: The highest GPA among graduating students 2014-2018 in Information Technology major
2018/05: Anduin STEM scholarship (Anduin Transactions Company, United State)
2015/12: Pony Chung scholarship (Pony Chung Foundation, Korea)
2014/10: Yamada scholarship (Japan)
2014/09: The highest score on the VNU University of Engineering Technology's entrance exam