Ngày 21 tháng 12 năm 2018, tại Trường Đại học Paris 13, cô Nguyễn Thị Thanh Huyền, giảng viên bộ môn Công nghệ phần mềm, Khoa CNTT, ĐHSPHN đã bảo vệ thành công luận án Tiến sĩ trong lĩnh vực công nghệ phần mềm với tiêu đề "Quasi Optimal model checking for concurrent systems".
Dưới đây là tóm tắt luận án và một số hình ảnh trong buổi lễ bảo vệ.