Bảo vệ luận án tiến sĩ chuyên ngành Khoa học Máy tính

03/12/2015 01:19

Chiều ngày 28/11/2015 tại Đại học Đà Nẵng, NCS Lê Thị Mỹ Hạnh đã bảo vệ thành công luận án tiến sĩ chuyên ngành: Khoa học Máy tính; Mã số: 62.48.01.01 với đề tài “Kiểm thử đột biến trong môi trường Simulink/ Matlab”, dưới sự hướng dẫn khoa học của PGS.TS Nguyễn Thanh Bình và PGS.TS. Đoàn Văn Ban.

bvlats2015 1

 

Công bố Quyết định thành lập hội đồng chấm luận án.

Hội đồng đánh giá luận án có mặt: 07/07 thành viên (theo quyết định số 5290/QĐ-ĐHĐN ngày 14/10/2015 của Giám đốc Đại học Đà Nẵng) gồm:

STT

HỌC HÀM, HỌC VỊ, HỌ VÀ TÊN

CHỨC TRÁCH TRONG HỘI ĐỒNG

1

PGS.TS. Võ Trung Hùng

Chủ tịch Hội đồng

2

GS.TS. Nguyễn Thanh Thủy

Phản biện 1

3

PGS.TS. Huỳnh Quyết Thắng

Phản biện 2

4

PGS.TS. Hoàng Hữu Hạnh

Phản biện 3

5

PGS.TS. Lê Văn Sơn

Ủy viên

6

TS. Hoàng Bảo Hùng

Ủy viên

7

TS. Huỳnh Hữu Hưng

Thư ký Hội đồng

Buổi bảo vệ luận án được tiến hành đúng theo quy định của Bộ Giáo dục và Đào tạo. Trong không khí trang trọng với sự chứng kiến của GS.TS. Lê Kim Hùng – Hiệu trưởng Trường ĐHBK – ĐHĐN và Tập thể Cán bộ hướng dẫn khoa học, đại diện Khoa CNTT trường ĐHBK - Đơn vị đào tạo, cùng các nhà khoa học, nghiên cứu sinh, đồng nghiệp, gia đình và bạn bè. NCS Lê Thị Mỹ Hạnh đã tự tin bảo vệ thành công luận án của mình.

Là NCS đầu tiên bảo vệ luận án Tiến sĩ chuyên ngành KHMT tại Trường ĐHBK-ĐHĐN, cũng là một trong số những NCS trong khóa đào tạo đầu tiên của chương trình đào tạo Tiến sĩ KHMT tại Trường ĐHBK – ĐHĐN. Tính đến ngày bảo vệ, NCS Lê Thị Mỹ Hạnh đã công bố 08 công trình trên các hội thảo và tạp chí quốc tế, có uy tín.

Luận án là công trình nghiên cứu chi tiết về cơ sở khoa học nhằm đề xuất các giải pháp phục vụ kiểm thử các ứng dụng phần mềm, đảm bảo và nâng cao chất lượng phần mềm trước khi triển khai. Luận án tập trung xây dựng giải pháp và triển khai hệ thống sinh và thực thi đột biến cho Simulink; đề xuất giải pháp cải thiện chi phí thực thi đột đột biến cho Simulink; đề xuất giải pháp sinh dữ liệu thử cho các thiết kế trong môi trường Simulink sử dụng tiêu chuẩn phủ đột biến.

Hội đồng đã ra nghị quyết và kết luận: Luận án Kiểm thử đột biến trong môi trường Simulink/ Matlab” đã đáp ứng đầy đủ yêu cầu của một luận án Tiến sĩ, chuyên ngành: Khoa học Máy tính;  Mã số: 62.48.01.01 với số phiếu tán thành là 07/07. NCS Lê Thị Mỹ Hạnh xứng đáng nhận học vị Tiến sĩ. Hội đồng đề nghị  ĐNĐN cấp bằng tiến sĩ cho NCS Lê Thị Mỹ Hạnh.

Với NCS đầu tiên bảo vệ thành công luận án Tiến sĩ, Khoa CNTT-Trường ĐHBK-ĐHĐN đã khẳng định thế mạnh, uy tín, chất lượng, hướng đi đúng trong đào tạo và nghiên cứu khoa học. Với hơn 40 NCS đang học tập và nghiên cứu tại Khoa CNTT, trong đó nhiều NCS đã hoàn thành chương trình đào tạo, đang làm thủ tục bảo vệ cấp Cơ sở và cấp Đại học Đà Nẵng, đây sẽ là nguồn nhân lực chất lượng cao đáp ứng nhu cầu của các Trường Cao đẳng, Đại học, Viện nghiên cứu, Cơ quan, Doanh nghiệp...

Một số hình ảnh buổi bảo vệ

alt

Chủ tích hội đồng chủ trì phiên làm việc

alt

Đại diện tập thể hướng dẫn phát biểu

alt

Chụp hình lưu niệm cùng hội đồng

alt

Khoa CNTT chúc mừng.