Họ và tên | Năm bảo vệ | Bậc đào tạo | Chuyên ngành | Tập thể hướng dẫn | Tên đề tài |
---|---|---|---|---|---|
Nguyễn Thị Hồng Minh | 2001 | Tiến sĩ | Bảo đảm Toán học cho MT&HTTT/Cơ sở toán cho tin học | GS. TSKH. Nguyễn Hữu Công | Một số thuật toán song song giải hệ phương trình vi phân trên siêu máy tính |
Phùng Văn Ổn | 2001 | Tiến sĩ | Bảo đảm Toán học cho MT&HTTT/Cơ sở toán cho tin học | GS. TS. Đặng Huy Ruận | Nghiên cứu một số lớp siêu ngôn ngữ |
Bùi Thị Thúy Hiền | 2000 | Tiến sĩ | Bảo đảm Toán học cho MT&HTTT/Cơ sở toán cho tin học | PGS.TS. Đỗ Trung Tuấn, PGS.TSKH. Nguyễn Cát Hồ | Hệ hỗ trợ quyết định với thông tin không đầy đủ theo cách tiếp cận null ngữ cảnh |
Nguyễn Hải Châu | 1999 | Tiến sĩ | Bảo đảm Toán học cho MT&HTTT/Cơ sở toán cho tin học | PGS.TS. Nguyễn Cát Hồ | Nghiên cứu điều khiển tượng tranh tài nguyên trên mạng máy tính |
Vũ Ngọc Loãn | 1995 | Tiến sĩ | Bảo đảm Toán học cho MT&HTTT/Cơ sở toán cho tin học | GS.TSKH. Nguyễn Xuân Huy | Các lớp phụ thuộc logic tổng quát trong mô hình cơ sở dữ liệu quan hệ |