Tên đề tài luận án: Một số phương pháp mô hình hoá và kiểm chứng hình thức cho các hệ thống thời gian thực hướng thành phần

1. Họ và tên nghiên cứu sinh: Nguyễn Trịnh Đông              2. Giới tính: Nam

3. Ngày sinh: 12/07/1974                                                    4. Nơi sinh: Hải Phòng

5. Quyết định công nhận nghiên cứu sinh: Số 3613/QĐ-SĐH ngày 22/10/2009 của Giám đốc Đại học Quốc gia Hà Nội.

6. Các thay đổi trong quá trình đào tạo:

       7. Tên đề tài luận án: Một số phương pháp mô hình hoá và kiểm chứng hình thức cho các hệ thống thời gian thực hướng thành phần

8. Chuyên ngành: Kỹ thuật phần mềm                              9. Mã số: 62.48.01.03

10. Cán bộ hướng dẫn khoa học: TS. Đặng Văn Hưng

                                                              PGS.TS. Trương Anh Hoàng

11. Tóm tắt các kết quả mới của luận án: Thông tin luận án tiến sĩ của NCS Nguyễn Trịnh Đông.