ĐẠI HỌC QUỐC GIA HÀ NỘI
TRƯỜNG ĐẠI HỌC CÔNG NGHỆ
Số: 1293/QĐ-ĐT
CỘNG HÒA XÃ HỘI CHỦ NGHĨA VIỆT NAM
Độc lập - Tự do - Hạnh phúc Hà Nội, ngày 31tháng 12 năm 2010
QUYẾT ĐỊNH
Về việc giao đề tài luận văn thạc sĩ cho học viên cao học
khoá 16 ngành Công nghệ Thông tin
HIỆU TRƯỞNG TRƯỜNG ĐẠI HỌC CÔNG NGHỆ
Căn cứ Quy định về Tổ chức và Hoạt động của Đại học Quốc gia Hà Nội, ban hành
theo Quyết định số 600/TCCB ngày 01 tháng 10 năm 2001 của Giám đốc Đại học Quốc gia
Hà Nội quy định nhiệm vụ và quyền hạn của hiệu trưởng các trường đại học thành viên;
Căn cứ Quy chế Đào tạo sau đại học ở Đại học Quốc gia Hà Nội, ban hành theo Quyết
định số 3810/KHCN ngày 10 tháng 11 năm 2007 của Giám đốc Đại học Quốc gia Hà Nội;
Xét đề nghị của ông Chủ nhiệm Khoa Công nghệ Thông tin và ông Trưởng phòng Đào
tạo,
QUYẾT ĐỊNH
Điều 1. Giao đề tài luận văn thạc sĩ cho các Học viên cao học khoá 16 ngành Công
nghệ Thông tin và giao nhiệm vụ hướng dẫn luận văn cho các Cán bộ có tên trong danh
sách kèm theo.
Điều 2. Luận văn thạc sĩ phải được hoàn thành theo đúng Quy chế Đào tạo Sau Đại
học ở Đại học Quốc gia Hà Nội.
Điều 3. Ông Trưởng phòng Tổ chức – Hành chính, ông Trưởng phòng Đào tạo,
Chủ nhiệm Khoa Công nghệ Thông tin, Chủ nhiệm các Bộ môn, Thủ trưởng các đơn vị có
liên quan, Cán bộ hướng dẫn và Học viên cao học có tên tại Điều 1 chịu trách nhiệm thi
hành quyết định này./.
Nơi nhận:
- Như Điều 3;

3 Nguyễn Thị Biên Nữ 29/10/1986 Ninh Bình
Khai phá luật kết hợp trong cơ
sở dữ liệu đa phương tiện
PGS.TS. Đặng Văn Đức
Viện CNTT, Viện
KH&CN VN
4 Nguyễn Thị Bình Nữ 10/02/1984 Thái Bình
Cải tiến thuật toán kiểm chứng
tính đúng đắn của công thức
khoảng
TS. Phạm Hồng Thái Trường ĐHCN
5 Trần Đình Chí Nam 18/06/1984 Hưng Yên
Tìm hiểu kiến trúc SOA và áp
dụng cho hệ thống phần mềm
chứng khoán công ty StockMart
Việt Nam
TS. Trần Thị Minh Châu Trường ĐHCN
6 Lê Bá Cường Nam 30/04/1985
Quảng
Ninh
Nghiên cứu phương pháp xây
dựng mô hình tự động
TS. Phạm Ngọc Hùng Trường ĐHCN
7 Nguyễn Đăng Cường Nam 25/02/1984 Hà Nội
Một số thuật toán khái quát hóa
bản đồ và ứng dụng
PGS.TS. Đặng Văn Đức
Viện CNTT, Viện
KH&CN VN
2

TS. Trương Anh Hoàng Trường ĐHCN
14 Lương Thị Ngọc Hà Nữ 11/03/1985 Hà Nam
Nghiên cứu ứng dụng mẫu thiết
kế trong tương tác người máy
PGS.TS. Đặng Văn Đức
Viện CNTT, Viện
KH&CN VN
15 Phan Minh Hải Nam 12/09/1983 Hải Dương
Các kỹ thuật phân cụm trong
khai phá dữ liệu sử dụng tính
toán tiến hóa
TS. Bùi Thu Lâm
Học viện Kỹ thuật
Quân sự
16 Hoàng Thị Hải Nữ 11/08/1973 Hà Nội
Nâng cao hiệu quả của một
trang web bán hàng bằng việc
sử dụng công nghệ web động và
các công cụ phân tích nhu cầu
PGS.TS. Nguyễn Văn Vỵ Trường ĐHCN
17 Lê Đức Hậu Nam 04/06/1985 Hải Dương
Nghiên cứu xây dựng web
service trên nền công nghệ phần
mềm hướng tác tử
PGS.TS. Nguyễn Việt Hà Trường ĐHCN
18 Trịnh Thị Thanh Hiền Nữ 26/09/1985 Hải Dương Xây dựng hệ thống quản trị quy
trình nghiệp vụ và ứng dụng
cho bài toán quản lý sở hữu
PGS.TS. Nguyễn Văn Vỵ Trường ĐHCN
3

thất lạc
TS. Kiều Văn Hưng Trường ĐHSPHN II
24 Đỗ Thị Hòa Nữ 24/04/1984 Thái Bình
Tóm tắt dữ liệu quan hệ nhờ
phân cụm nửa giám sát
PGS.TS. Hoàng Xuân Huấn Trường ĐHCN
25 Nguyễn Văn Học Nam 19/11/1978 Hà Nội
Giải pháp công nghệ cho Giao
dịch lưu động - Ngân hàng
Chính sách xã hội Việt Nam
TS. Trương Ninh Thuận Trường ĐHCN
26 Hà Quang Hồng Nam 27/06/1982
Thái
Nguyên
Kiến trúc dịch vụ Web - mô
hình chất lượng và áp dụng cho
hệ thống sát hạch trác nghiệm
theo chuẩn QTI
PGS.TS. Nguyễn Đình Hóa
Viện CNTT,
ĐHQG HN
27 Chu Thị Minh Huệ Nữ 14/11/1982 Hưng Yên
Ngôn ngữ mô hình hóa cho các
yêu cầu bảo mật
TS. Đặng Đức Hạnh Trường ĐHCN
28 Nguyễn Thị Huệ Nữ 17/10/1985 Thái Bình
Quy trình kiểm thử phần mềm
và vai trò của kiểm thử tự động
TS. Đặng Văn Hưng Trường ĐHCN
4

lý trực quan về các cửa khẩu
hải quan
TS. Nguyễn Như Sơn
Viện CNTT, Viện
KH&CN VN
33 Nguyễn Thanh Hưng Nam 08/01/1983 Hải Dương Hàm băm an toàn và ứng dụng TS. Lê Phê Đô Trường ĐHCN
34 Phạm Thị Hương Nữ 27/11/1985 Hòa Bình
Ứng dụng công nghệ tính toán
đa dụng trên các bộ xử lý đồ
họa đa lõi cho bài toán định giá
quyền chọn
TS. Nguyễn Hữu Đức
Trường ĐHBK
HN
35 Bùi Hoàng Khánh Nam 13/02/1987
Quảng
Bình
Xây dựng phần mở rộng kiểm
chứng thuộc tính logic thời gian
trong Java PathFinder
TS. Trương Anh Hoàng Trường ĐHCN
36 Hoàng Mạnh Khôi Nam 04/12/1984 Hà Tĩnh
Kiểm chứng từng phần cho
chương trình C
PGS.TS. Nguyễn Việt Hà Trường ĐHCN
37 Nguyễn Xuân Kỳ Nam 09/09/1986 Thanh Hóa
Tìm hiểu WCF (Window
Communication Foundation) và
áp dụng cho bài toán quản lý
nghiệp vụ công ty DKT.JSC

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
TS. Đặng Văn Hưng Trường ĐHCN
43 Đỗ Thị Tuyết Mai Nữ 12/11/1985 Hà Nội
Nâng cấp các thành phần động
của hệ thống phân tán
TS. Trương Anh Hoàng Trường ĐHCN
44 Nguyễn Văn Mạnh Nam 26/02/1981 Nghệ An
ERP và mô hình bài toán lập kế
hoạch quản lý sản xuất
PGS.TS. Nguyễn Văn Vỵ Trường ĐHCN
45 Trần Văn Mạnh Nam 09/05/1978
Quảng
Ninh
Phương pháp lập mã tối ưu an
toàn
TS. Lê Phê Đô Trường ĐHCN
46 Vũ Xuân Mạnh Nam 23/07/1979 Thái Bình
Xây dựng hệ thời gian thực và
ứng dụng cho bài toán quản lý
nhà hàng dịch vụ
PGS.TS. Nguyễn Văn Vỵ Trường ĐHCN
47 Trần Thị Thu Ngân Nữ 08/05/1984 Phú Thọ
Xây dựng Webcast để giảng
dạy qua Internet
TS. Cao Tuấn Dũng
Trường ĐHBK
HN
48 Nguyễn Ánh Nguyệt Nữ 11/10/1984 Vĩnh Phú

Trường ĐH Nông
nghiệp HN
53 Nguyễn Hữu Phương Nam 30/12/1987 Phú Thọ
Một số kỹ thuật phân cụm dựa
trên đặc tính địa phương
PGS.TS. Hoàng Xuân Huấn Trường ĐHCN
54 Đỗ Thị Phương Nữ 08/09/1987 Hải Dương
Công nghệ mở về điện toán
đám mây của Google và ứng
dụng xây dựng hệ thống quản lý
trực quan các chi nhánh cho
ngân hàng
TS. Nguyễn Như Sơn
Viện CNTT, Viện
KH&CN VN
55 Nguyễn Thái Sơn Nam 20/05/1981 Hà Tĩnh Kiểm thử dịch vụ web tích hợp TS. Võ Đình Hiếu Trường ĐHCN
56 Vũ Bảo Tạo Nam 17/03/1979 Hải Dương
Nghiên cứu giải pháp bảo mật
mạng 3G
PGS.TS. Nguyễn Hữu Ngự
Trường
ĐHKHTN
57 Đinh Thị Phương Thảo Nữ 24/10/1986 Vĩnh Phúc
Nghiên cứu chuẩn OGC và ứng
dụng cho bài toán quản lý cơ sở
dữ liệu tài nguyên môi trường
cấp địa phương
TS. Trương Ninh Thuận Trường ĐHCN
58 Nguyễn Quang Thắng Nam 10/06/1982 Hải Dương
Nghiên cứu xây dựng và ứng