Công nghệ thông tin

• Kiểm chứng tính đúng đắn hệ thống tính toán của chương trình bằng kiểm duyệt mô hình
• Kiểm chứng từng phần cho chương trình C
• Kiểm thử tích hợp với độ phức tạp tương đương kiểm thử thành phần
• Bài toán quản lý quy trình (BPM) và ứng dụng trong thực tế
• Bài toán Workflow Scheduling trong môi trường điện toán đám mây
• Các mô hình lược đồ cơ sở dữ liệu quan hệ hỗ trợ đa người dùng trong tính toán đám mây
• Các phương pháp đánh giá độ tin cậy của hệ thống tính toán qua cấu trúc hệ thống
• Chuyển ngôn ngữ trong biểu diễn yêu cầu phần mềm
• Công nghệ hướng đối tượng và ứng dụng phát triển hệ thống quản lý khách hàng trước và sau khi bán hàng của doanh nghiệp
• Cơ sở dữ liệu phân tán và ứng dụng trong chuyển tiền điện tử
• Công nghệ tác tử và bài toán quản trị CSDL ngành thuế
• Công nghệ Web Service và ứng dụng để xây dựng kiến trúc hướng dịch vụ
• Đặc tả và kiểm chứng thiết kế của hệ thống tương tranh
• Datawarehouse và ứng dụng trong bài toán quản lý cửa hàng bán lẻ xăng dầu
• Dịch vụ bản đồ trong điện toán đám mây và ứng dụng quản lý thông tin các cửa khẩu hải quan
• Điện toán đám mây của Google và ứng dụng xây dựng hệ thống quản lý dịch vụ
• Dung năng đa người dùng và kỹ thuật SIC
• ERP và mô hình bài toán lập kế hoạch quản lý sản xuất
• ERP và mô hình hóa quản lý doanh nghiệp
• Framework và ứng dụng cho một lớp bài toán quản lý