Sáng ngày 29/12/2021, tại Trường Đại học Công nghệ đã diễn ra Lễ bảo vệ luận án Tiến sĩ chuyên ngành Kỹ thuật phần mềm của nghiên cứu sinh Nguyễn Ngọc Khải (công tác tại Trường Đại học Tài nguyên và môi trường Hà Nội), với đề tài “Hệ thống kiểu để ước lượng tĩnh tài nguyên sử dụng của chương trình giao dịch”. Luận án được thực hiện dưới sự hướng dẫn khoa học của PGS.TS. Trương Anh Hoàng

   Tham dự Lễ bảo vệ về phía Trường ĐHCN có PGS.TS. Nguyễn Phương Thái – Trưởng phòng Đào tạo. Về phía Trường Đại học Tài nguyên và môi trường Hà Nội có TS. Vũ Danh Tuyên – Phó Hiệu trưởng.

    Hội đồng cấp ĐHQG chấm luận án tiến sĩ gồm PGS.TS. Phạm Ngọc Hùng – Trường ĐHCN, Chủ tịch Hội đồng; TS. Tô Văn Khánh – Trường ĐHCN, Thư ký. Các phản biện gồm TS. Nguyễn Thanh Hùng – Trường Đại học Bách khoa Hà Nội; PGS.TS. Nguyễn Mạnh Hùng – Học viện Công nghệ Công nghệ Bưu chính viễn thông; PGS.TS. Nguyễn Đình Hóa – Viện Công nghệ thông tin (ĐHQGHN). Các ủy viên gồm  TS. Nguyễn Văn Tăng – Bộ Khoa học và công nghệ; TS. Võ Đình Hiếu – Trường ĐHCN.

    Luận án có kết quả chính gồm hai hệ thống kiểu để ước lượng tĩnh cận trên tài nguyên cần sử dụng của các chương trình STM (Software Transactional Memory) và một công cụ suy diễn kiểu cho chương trình. Ngoài ra, luận án cũng đã đưa ra một số cải tiến cho cơ chế STM để chúng sử dụng tài nguyên bộ nhớ hiệu quả hơn.

   Luận án có đóng góp mới được công bố trong 06 công trình khoa học với 03 bài báo trong tạp chí quốc tế và 03 bài tạp chí khoa học trong nước. Các kết quả nghiên cứu của luận án và những công bố của luận án có giá trị khoa học và tính thời sự cao.

  Sau khi nghe NCS trình bày luận án và trả lời các câu hỏi, Hội đồng đã thảo luận và thống nhất: hình thức và nội dung của luận án đã đáp ứng đầy đủ yêu cầu của một luận án Tiến sĩ thuộc chuyên ngành Kỹ thuật phần mềm với số phiếu tán thành là 07/07. Hội đồng chúc mừng NCS Nguyễn Ngọc Khải bảo vệ thành công luận án Tiến sĩ cấp Đại học Quốc gia.

   Đại diện Trường Đại học Tài nguyên và môi trường Hà Nội, TS. Vũ Danh Tuyên – Phó Hiệu trưởng trường gửi lời cảm ơn đến Trường Đại học Công nghệ (ĐHQGHN) và thầy/cô trong hội đồng đã đóng góp ý kiến giúp NCS tiếp tục định hướng con đường nghiên cứu sau này. Trong suốt quá trình đào tạo, Trường ĐHCN đã đồng hành, tạo mọi điều kiện để giúp đỡ NCS hoàn thành luận án tiến sĩ. Phó Hiệu trưởng hi vọng NCS Nguyễn Ngọc Khải sẽ là cầu nối giữa hai đơn vị trong lĩnh vực, đào tạo và nghiên cứu khoa học.

    Trong niềm vui và xúc động, NCS. Nguyễn Ngọc Khải đã tri ân sự dìu dắt, chỉ bảo tận tình của tập thể giáo viên hướng dẫn, gửi lời cảm ơn đến Hội đồng chấm luận án cũng như sự quan tâm của Lãnh đạo Trường Đại học Công nghệ và Trường Đại học Tài nguyên và môi trường Hà Nội cùng đồng nghiệp, bạn bè và đặc biệt là gia đình – nguồn động viên và cổ vũ tinh thần lớn lao để NCS có thể thực hiện và bảo vệ thành công luận án Tiến sĩ.

(UET-News)