Trần Nhật Hóa

Giảng viên, Khoa Khoa học Máy tính

Tiến sỹ (Khoa học Thông tin, Viện Khoa học và Công nghệ Tiên tiến Nhật Bản, 2018)
Thạc sỹ (Công nghệ thông tin, Trường Đại học Bách khoa Hà Nội, 2009)
Kỹ sư (Công nghệ thông tin, Trường Đại học Bách khoa Hà Nội, 2004)

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

• Công nghệ phần mềm;
• Đảm bảo chất lượng phần mềm;
• Phân tích và xử lý dữ liệu.

• Công nghệ phần mềm thông minh;
• Kiểm định và kiểm thử phần mềm;
• Quản trị dự án;
• Phân tích và xử lý dữ liệu.

TS. Trần Nhật Hóa là giảng viên Viện Công nghệ Thông tin và Truyền thông, Trường Đại học Bách Khoa Hà Nội. Anh tốt nghiệp kỹ sư và thạc sỹ ngành Công nghệ thông tin tại Trường Đại học Bách Khoa Hà Nội (năm 2004, 2009). Anh nhận học vị Tiến sỹ ngành Khoa học thông tin vào năm 2018 tại Viện Khoa học và Công nghệ Tiên tiến Nhật Bản (JAIST). Các hướng nghiên cứu chính của TS. Hóa bao gồm: công nghệ phần mềm, công nghệ phần mềm thông minh, đảm bảo chất lượng phần mềm, kiểm định và kiểm thử phần mềm, quản trị dự án, xử lý và phân tích dữ liệu.

• 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 – Tương tác người máy
• IT4501Q – Đảm bảo chất lượng phần mềm
• IT4552 – Lập trình Web
• IT3180 – Nhập môn công nghệ phần mềm