I. Thông tin về giảng viên

I.Thông tin về giảng viên

2. Học hàm / học vị: PGS.TS

3. Nơi công tác: Bộ môn: Công nghệ Phần mềm Viện Công nghệ thông tin và Truyền thông

Trường Đại học Bách Khoa Hà Nội

4. Điện thoại cơ quan: 38682595 Điện thoại di động: 0913536752

5. Email: thanghq@soict.edu.vn; thanghq-fit@mail.hut.edu.vn

Trang Web cá nhân: http://www.soict.hut.edu.vn/~thanghq

II.Định hướng khoa học, các bài báo công bố và đề tài cao học đã hướng dẫn

2. Danh sách các bài báo tiêu biểu đã công bố gần nhất (liệt kê không quá 5)

• 
  Nguyễn Ngọc Dũng, Huỳnh Quyết Thắng. Thuật Toán Phát Hiện Độ Tương Tự Mã Nguồn Dựa Trên Cây Phân Tích Cú Pháp và Ứng Dụng Trong Xây Dựng Hệ Thống Thi Lập Trình Trực Tuyến BKOJ. Kỷ yếu Hội nghị Quốc gia lần thứ VI về Nghiên cứu cơ bản và ứng dụng Công nghệ thông tin (FAIR) - Huế, ngày 20 – 21/6/2013 (đã được chấp nhận đăng).
  
• 
  Nguyen Thanh, Shin Nakajima and Thang Huynh Quyet. Modeling and Debugging Numerical Constraints of Cyber-Physical Systems Design. 4th International Symposium on Information and Communication Technology - SoICT 2013, Da Nang, Viet Nam, December, 5-6, 2013. (Full Paper Accepted).
  
• 
  Nguyen Thi Thanh Tu, Huynh Quyet Thang. Overall Security Solutions for OPC UA based Monitoring and Control Application. 2nd International Conference on Context-Aware Systems and Applications, November 25–26, 2013 Phu Quoc, Vietnam (Full Paper Accepted).
  
• 
  Nguyen Hung Cuong, Huynh Quyet Thang, Tru Ba Vuong. Rule-based techniques using abstract syntax tree for code optimization and secure programming in Java. 2nd International Conference on Context-Aware Systems and Applications, November 25–26, 2013 Phu Quoc, Vietnam (Full Paper Accepted).
  
• 
  Nguyen Minh Quy, Ho Khanh Lam, Huynh Quyet Thang. Analysis of Effectiveness of Communication Overheads in the Parallel Computing System Using the Closed Product Form Queueing Network. RIVF-2013: The 10th IEEE RIVF International Conference on Computing and Communication Technologies, Hanoi, Vietnam, 10-13 November 2013, pp. 131-134.
  

• 
  Nguyễn Văn Quyết (2012). Đánh giá hiệu năng của phần mềm xử lý song song trên hệ thống máy tính kiến trúc đa lõi đa luồng kết hợp CPU và GPU
  
• 
  Nguyễn Ngọc Dũng (2013). Phân tích tĩnh nhằm phát hiện độ tương tự trong mã nguồn áp dụng trong Hệ thống thi lập trình trực tuyến BKOJ
  
• 
  Bùi Quang Thắng (2013). Phân tích mã nguồn và các giải pháp nâng cao kỹ thuật viết mã loại bỏ lỗi lập trình và tăng hiệu quả của chương trình
  
• 
  Lê Đức Anh (2013). Kỹ thuật kiểm thử an ninh bảo mật dựa trên công nghệ fuzzing phân tán.
  
• 
  Vũ Văn Quyết (2013). Kỹ thuật tìm kiếm tri thức trong mạng xã hội áp dụng kỹ thuật Mapreduce
  

III.Các định hướng đề tài luận văn cao học

STT	Tên đề tài/định hướng luận văn	Nội dung công việc
	Lập lịch dự án sử dụng Bayesian Network (BN)	Sử dụng công cụ GeNIe & SMILE http://genie.sis.pitt.edu Tìm hiểu các kỹ thuật lập lịch dự án (Project Schduling) dựa trên hướng tiếp cận sử dụng BN Sử dụng công cụ SMILE trong thử nghiệm các kỹ thuật lập lịch Phân tích, đánh giá các kỹ thuật
	Kiến trúc hướng mô hình (Model-Driven) trong xây dựng phần mềm nhúng – Đánh giá độ tin cậy và tính đáp ứng của kiến trúc phần mềm áp dụng cho ứng dụng trên điện thoại thông minh	Kiến trúc hướng mô hình MDA Xây dựng phương pháp đánh giá độ tin cậy và tính đáp ứng của kiến trúc phần mềm Nghiên cứu về hệ điều hành Android và điện thoại VIVAS LOTUS S1 Thử nghiệm áp dụng cho hệ nhúng với hệ điều hành Android và điện thoại VIVAS LOTUS S1
	Đánh giá hiệu năng hệ thống sử dụng mô hình mạng hàng đợi (Queing Network model)	Lý thuyết về đánh giá hiệu năng hệ thống Mô hình mạng hàng đợi và ứng dụng Xây dựng phương pháp đánh giá hiệu năng hệ thống sử dụng mô hình mạng hàng đợi Thử nghiệm đánh giá trong phần mềm Phòng học đa năng dùng mạng LAN
	Các kỹ thuật kiểm thử cấu trúc chương trình theo hướng tiệp cận Kiểm thử dựa tìm kiếm (search-based software testing)	Kiểm thử dựa tìm kiếm. Các kỹ thuật kiểm thử cấu trúc chương trình (kiểm thử hộp trắng) Áp dụng phương pháp kiểm thử dựa tìm kiếm trong kiểm thử cấu trúc Thử nghiệm và đánh giá
s	Bài toán phân tích dữ liệu khách hàng trong hệ thống CRM	Mô hình hệ thống CRM Các kỹ thuật đánh giá dữ liệu khách hàng (Analytical CRM) Đánh giá hiệu năng tài chính Phân tích hiệu quả Hệ thống CRM Đánh giá áp dụng cho dữ liệu thực tế từ một công ty cụ thể
	Đánh giá độ tin cậy và tính đáp ứng của phần mềm hướng thành phần	Phương pháp đánh giá độ tin cậy và tính đáp ứng của thành phần phần phần mềm (software component). Mô hình xác suất đánh giá và dự báo tính tin cậy và đáp ứng của các thành phần tích hợp Phân tích mô hình Thử nghiệm đánh giá trên các công cụ

CNTT-CH-01

Thông tin định hướng đề tài luận văn cao học

Trang /

Каталог: ~thanghq
~thanghq -> I. Thông tin về giảng viên
~thanghq -> IT3124 – ĐỒ Án tin học năm họC 2013-2014

tải về 21.42 Kb.

Chia sẻ với bạn bè của bạn: