2021

Một số phương pháp đảm bảo tính công bằng cho các hệ thống học máy trong lĩnh vực giáo dục

2019

Một số phương pháp đảm bảo tính chắc chắn (robustness) cho các hệ thống học máy

2017

Cải tiến một số phương pháp sinh dữ liệu kiểm thử tự động từ mã nguồn

2016

Các phương pháp phân tích sự ảnh hưởng giữa các thành phần mã nguồn

2015

Kiểm chứng dựa trên phương pháp giả định – đảm bảo cho phần mềm dựa trên thành phần

2011 - 2018

Đặc tả và kiểm chứng từng phần cho phần mềm dựa trên biểu đồ tuần tự

2019

Nghiên cứu phương pháp sinh dữ liệu kiểm thử từ mã nguồn và ứng dụng xây dựng hệ thống chấm bài tập lập trình

2018

Nghiên cứu một số giải pháp kiểm thử giao diện tự động sử dụng Ranorex

Phương pháp phân tích sự ảnh hưởng của các thành phần và ứng dụng cho kiểm thử hồi quy trong các dự án Java EE

Kiến trúc phần mềm chịu tải cao dựa trên nền tảng điện toán đám mây Microsoft Azure (hướng dẫn phụ)

Tối ưu việc lựa chọn số lượng đầu vào khi áp dụng mạng nơron nhân tạo trong bài toán dự đoán điểm đích của một chuyến taxi