24)PGS. TS. Huỳnh Quyết Thắng
I. Thông tin về giảng viên
1. Họ và tên giảng viên: Huỳnh Quyết Thắng
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: 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
1. Định hướng nghiên cứu: Software Metrics, Software Reliability, Software Verification, Các kỹ thuật phát triển phần mềm, IT-Governance, Cloud Computing
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)
-
Pham Thanh Trung, Huynh Quyet Thang. Building the Reliability Prediction Model of Component-Based Software Architectures. International Journal of Information Technology, Volume 5, No. 1, 2009, pp. 17-25.
-
Huynh Quyet Thang, Vo Sy Nam. XML Schema Automatic Matching Solution. International Journal of Computer Systems Science and Engineering. ISSN 1307-430X
Quarterly Print & Electronic Publication, Volume 1, Number 1, 2007, pp. 68-74
-
Phạm Thị Quỳnh, Huỳnh Quyết Thắng, Tạ Quang Dũng. Phương pháp xây dựng độ đo tái sử dụng của Web-Service. Tạp chí Tin học và Điều khiển học ISSN 1813-9663, Tập 26, Số 2, Năm 2010, trang 141-152
-
Huỳnh Quyết Thắng, Bùi Hoàng Giang. Sử dụng Hadoop và giải thuật Mapreduce trong bài toán lọc cộng tác. Tạp chí khoa học và công nghệ , ISSN 0868-3980, Số 77, 9/2010 (Được chấp nhận đăng)
-
Huỳnh Quyết Thắng, Phạm Thị Quỳnh, Đặng Trung Anh. Xây dựng FrameWork đánh giá độ phức tạp của tiến trình BPEL. Chuyên san Các nghiên cứu và triển khai ứng dụng trong viễn thông và Công nghệ thông tin Số 3(23), Số 3(23), Tập V-1, tháng 5/2010, trang 45-54
3. Danh sách các đề tài luận văn cao học hướng dẫn gần đây nhất (liệt kê không quá 5)
-
Nguyễn Hùng Cường. Các kỹ thuật kiểm thử phần phần mềm sử dụng Design by Contract và thử nghiệm trên môi trường Eiffel. 2010
-
Đặng Trung Nam. Bài toán Quản trị Công nghệ Thông tin – Quản trị rủi ro kết hợp kỹ thuật Trust Case xây dựng các ứng dụng hướng dịch vụ. 2010
-
Hoàng Anh Tuấn. Cloud computing, mapreduce và giải pháp tìm kiếm theo yêu cầu người dùng (object searching by request).2010
-
Hồ Mạnh Tài. Quản trị công nghệ thông tin và bài toán quản lý rủi ro. 2008
-
Vũ Đình Thu. Áp dụng mạng Bayesian Belief Network để đánh giá chất lượng hệ thống thương mại điện tử theo chuẩn ISO 9126. 2008.
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
| -
|
Cloud Computing và ứng dụng trong giải quyết bài toán tìm kiếm đối tượng (object searching) và IT-Governance
|
Kế thừa các nghiên cứu của sinh viên cao học và đại học khóa trước về quản trị CNTT tiếp tục phát triển về Cloud Computing kết hợp với ứng dụng trong IT Processes. Tìm hiểu các công cụ nguồn mở, các giải pháp cài đặt ảo hóa.
| -
|
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 của kiến trúc phần mềm áp dụng cho các hệ nhúng
|
Kế thừa nghiên cứu của sinh viên khóa trước về quy trình hướng mô hình áp dụng trong phát triển phần mềm nhúng. Sử dụng công cụ của SEI, CMU (www.sei.edu) trong đặc tả kiến trúc phần mềm. Tìm hiểu lý thuyết về đánh giá độ tin cậy phần mềm. Xây dựng phương pháp đánh giá độ tin cậy cho phần mềm nhúng. Kết hợp làm việc nhóm với sinh viên đại học.
| -
|
Phân tích Source Code và các giải pháp nâng cao kỹ thuật viết mã (Code Optimization Secure Coding) loại bỏ lỗi lập trình và tăng hiệu quả của chương trình
|
Tìm hiểu các kỹ thuật liên quan: Source Code Analysis, Secure coding và Code optimization. Tìm hiểu các giải thuật và nguyên lý liên quan. Xây dựng một/một số giải thuật và nguyên lý hỗ trợ Source Code Analysis, Secure coding và Code optimization. Đánh giá thử nghiệm.
| -
|
Các phương pháp và độ đo dự báo độ tin cậy phần mềm - giới hạn cho phần mềm thành phần, phần mềm hướng dịch vụ, các trang Web (Metrics for reliability prediction)
|
Kế thừa các kết quả nghiên cứu từ các sinh viên khoá trước: tìm hiểu bài toán đánh giá độ tin cậy phần mềm và các thuộc tinh chất lượng khác. Các mô hình toán học mô hình hóa độ tin cậy (Markov, Bayesian Belief Networks, …). Xây dựng phần mềm thử nghiệm giải thuật xác định độ tin cậy dựa trên các thành phần, dịch vụ. Thử nghiệm, đánh giá.
| -
|
Bài toán tìm kiếm và trích rút thông tin từ các nguồn dữ liệu lớn dựa trên các giải thuật đối sánh lược đồ XML
|
Tìm hiểu về XML và bài toán mô hình hóa. Sử dụng XML để lưu trữ và đối sánh thông tin. Tìm kiếm thông tin gần đúng dựa trên các phương pháp đánh giá khác nhau. Kế thừa kết quả đối sánh Schema XML (bài báo công bố năm 2008)
| -
|
Kiểm chứng mô hình phần mềm và các ứng dụng trong xây dựng các phần mềm nhúng
|
Tìm hiểu các kỹ thuật kiểm chứng mô hình phần mềm. Sử dụng một số công cụ phần mềm nguồn mở. Cài đặt, đánh giá và cải tiến một số phương pháp kiểm chứng mô hình phần mềm
|
Chia sẻ với bạn bè của bạn: |
