Các môn giảng dạy
- Đại học
- Công nghệ phần mềm
- Quản lý dự án phần mềm
- Lập trình hướng đối tượng
- Phân tích và thiết kế hướng đối tượng
- Kiểm thử và đảm bảo chất lượng phần mềm
- Sau đại học
- Một số chuyên đề công nghệ
- Phương pháp luận nghiên cứu khoa học
- Quản lý dự án Công nghệ Thông tin
Các lĩnh vực nghiên cứu quan tâm
- Phát triển & kiểm thử phần mềm
- Đánh giá ảnh hưởng của thay đổi giữa các phiên bản (Change impact analysis)
- Sinh dữ liệu kiểm thử tự động cho phần mềm (Automated test data generation)
- Kiểm chứng Giả định - Đảm bảo (Assume-Guarantee Verification)
- Tiến hóa phần mềm (Software Evolution)
- Phân tích chương trình (Program Analysis)
- Trí tuệ nhân tạo cho Kỹ thuật phần mềm (AI for software engineering)
Đối tác nghiên cứu
