Tran Nhat Hoa

Lecturer, Department Of Computer Science

Ph.D. (Information Science, Japan Advanced Institute of Science and Technology, 2018)

M.S. (Information Technology, Hanoi University of Science and Technology, 2009)

B.S. (Information Technology, Hanoi University of Science and Technology, 2004)

Email: hoatn@soict.hust.edu.vn
Web: https://users.soict.hust.edu.vn/hoatn/

• Software Engineering;
• Software Quality Assurance;
• Data Processing and Analyzing.

• Intelligent Software Engineering;
• Software Verification and Testing;
• Project Management;
• Data Processing and Analyzing.

Nhat-Hoa Tran is a faculty member of the School of Information and Communication Technology (SoICT), Hanoi University of Science and Technology (HUST). He got B.S. degree and M.S. degree in Information Technology (2004, 2008) from HUST. He received his Ph.D. degree in Information Science in 2018 from Japan Advanced Institute of Science and Technology (JAIST). His primary interests include software engineering, intelligent software engineering, software quality assurance, software verification and testing, project management, data processing and analyzing.

• Nhat-Hoa Tran. 2019. A Specification-Based Approach to Model Checking Event-Driven Systems. In Proceedings of the Tenth International Symposium on Information and Communication Technology (pp. 449-456). ACM.
• Nhat-Hoa Tran and Toshiaki Aoki. 2019. Conformance Testing of Schedulers for DSL-based Model Checking. In International Symposium on Model Checking Software. Springer, 208–225.
• Nhat-Hoa Tran, Yuki Chiba, and Toshiaki Aoki. 2019. Model checking in the Presence of Schedulers Using a Domain-Specific Language for Scheduling Policies. IEICE TRANSACTIONS on Information and Systems 102, 7 (2019), 1280–1295.
• Nhat-Hoa Tran, Yuki Chiba, and Toshiaki Aoki. 2018. Qualitative and quantitative analysis with scheduling policies in model checking. In Proceedings of the 33rd Annual ACM Symposium on Applied Computing. ACM, 1873–1880.
• Nhat-Hoa Tran, Yuki Chiba, and Toshiaki Aoki. 2017. Domain-specific language facilitates scheduling in model checking. In 2017 24th Asia-Pacific Software Engineering Conference (APSEC). IEEE, 417–426.

• IT4440Q – Human Computer Interaction
• IT4501Q – Software Quality Assurance
• IT4552 – Web Programming
• IT3180 – Introduction to software engineering