1. Giải nhất (03 đề tài)
STT |
Tên đề tài |
Họ và tên sinh viên |
Lớp |
Giáo viên HD |
GV phản biện |
1 |
Z3-Regex: A solver for regular expression |
Đinh Trung Anh |
K56CA |
TS. Trương Anh Hoàng |
TS. Phạm Ngọc Hùng TS. Đặng Đức Hạnh |
Trần Đức Mười |
K56CA |
||||
2 |
Chương trình cờ toán Việt Nam |
Nguyễn Hà Thanh |
K56CLC |
GS.TS. Nguyễn Thanh Thủy |
PGS.TS. Hà Quang Thụy PGS.TS. Lê Anh Cường |
Trần Hữu Trung |
K56CB |
||||
Trần Văn Hưng |
K56CLC |
||||
3 |
Nghiên cứu và xây dựng hệ thống hướng dịch vụ hỗ trợ phát hiện sao chép văn bản |
Nguyễn Văn Sơn Nguyễn Thu Trang Lê Đỗ Tân Nguyễn Tùng Lâm Ngô Văn Tân Lê Đình Linh |
K56CLC K57CLC K57CA K57CA K57CLC K57CC |
PGS.TS. Phạm Bảo Sơn TS. Võ Đình Hiếu |
PGS.TS. Hà Quang Thụy TS. Nguyễn Trí Thành |
2. Giải nhì (05 đề tài)
STT |
Tên đề tài |
Họ và tên sinh viên |
Lớp |
Giáo viên HD |
GV phản biện |
1. |
Hệ thống giám sát tai nạn giao thông áp dụng trích chọn sự kiện |
Hoàng Thị Vân Anh Bùi Trung Anh Vương Thị Hồng |
K56CLC K56CB K57CLC |
TS. Phan Xuân Hiếu ThS. Trần Mai Vũ |
TS. Lê Thanh Hà PGS.TS. Phạm Bảo Sơn |
2. |
Bluebee-Learning Support Network |
Nguyễn Thế Huy Nguyễn Văn Khánh Lê Văn Khoa Vũ Ngọc Sơn Nguyễn Duy Kiên |
K57CA K57CA K57CA K57CA K57CA |
TS. Trương Anh Hoàng |
TS. Võ Đình Hiếu TS. Trần Trúc Mai |
3. |
Phương pháp SAT Encoding hiệu quả giải trò chơi logic Hitori |
Nguyễn Tuấn Anh Trần Trọng Tiệp Vũ Đình Thắng Đào Thị Thúy Nguyễn Thị Mai Hương |
K58CA K58CA K58CA K58CA K56CLC |
TS. Tô Văn Khánh |
TS. Trương Anh Hoàng TS. Đặng Đức Hạnh |
4. |
Kiểm thử cho đơn vị chương trình C |
Nguyễn Đức Anh |
K56CLC |
TS. Phạm Ngọc Hùng |
Trương Anh Hoàng Tô Văn Khánh |
5. |
An approach to model consistency in model evolution though design patterns |
Nguyễn Hoàng Anh Phạm Trần Hương Giang |
K55CA K56CA |
PGS.TS. Trương Ninh Thuận |
TS. Tô Văn Khánh TS. Lê Sĩ Vinh |
3. Giải ba (07 đề tài)
STT |
Tên đề tài |
Họ và tên sinh viên |
Lớp |
Giáo viên HD |
GV phản biện |
1. |
Hệ mât mã kép an toàn |
Lê Thị Len Nguyễn Văn Thắng Đỗ Công Thành Đỗ Công Thuận |
K56CLC K56CLC K56CC K56CLC |
TS. Lê Phê Đô |
PGS.TS. Nguyễn Đình Việt TS. Lê Thanh Hà |
2. |
A novel response time computation to revisit the schedulability analysis of fixed priority task with non-preemptive regions |
Võ Anh Hưng Chu Văn Tạo Nguyễn Minh Hằng Phí Hữu Vinh |
K56CA K56CA K56CLC K56CLC |
TS. Nguyễn Thị Huyền Châu |
PGS.TS. Trương Ninh Thuận TS. Đăng Văn Hưng |
3. |
A tool to checking trigger in database system using event – B |
Đặng Minh Dũng Nguyễn Tuấn Nam |
K56CA K56CA |
PGS.TS. Trương Ninh Thuận ThS. Lê Hồng Anh |
TS. Tô Văn Khánh TS. Đặng Văn Hưng |
4. |
Hình ảnh hóa câu luật giao thông |
Nguyễn Hà Thanh |
K56CLC |
PGS.TS. Nguyễn Việt Hà |
TS. Trần Trúc Mai TS. Lê Sĩ Vinh |
5. |
Nghiên cứu công nghệ bản đồ số sử dụng chiều thời gian |
Vũ Danh Việt |
K56CLC |
PGS.TS. Nguyễn Việt Hà ThS. Vũ Quang Dũng |
TS. Lê Sĩ Vinh PGS.TS. Trương Ninh Thuận |
6. |
A Symbolic execution tool for JavaScript based on S2E framework |
Nguyễn Thanh Toàn |
K56CA |
TS. Trương Anh Hoàng |
TS. Phạm Ngọc Hùng TS. Đặng Đức Hạnh |
7. |
Application of Kalman Filter for improving quality of digitized voice |
Đặng Minh Công |
K56CA |
PGS.TS. Nguyễn Đình Việt |
TS. Dương Lê Minh TS. Nguyễn Trí Thành |