Tên đề tài luận án: Kiểm chứng hình thức các hệ thống thời gian thực hướng thành phần bằng kỹ thuật Model-Checking Họ và tên:   Nguyễn Trịnh Đông                                    Giới tính:    Nam Ngày sinh:  12/07/1974                                                    Nơi sinh:     Hải Phòng        Quyết định công nhận NCS số  3613/QĐ-CTSV ngày 22/10/2009 của Giám đốc Đại […]

    Trường Đại học Công nghệ, Đại học Quốc gia Hà Nội tổ chức buổi bảo vệ cấp Đại học Quốc gia luận án tiến sĩ của nghiên cứu sinh Lê Văn Thanh Vũ, sinh ngày 20/05/1977, tại Thừa Thiên Huế. Tên đề tài luận án: Giải pháp mạng trên chip tái cấu hình […]

      Trường Đại học Công nghệ, Đại học Quốc gia Hà Nội tổ chức buổi bảo vệ cấp Đại học Quốc gia luận án tiến sĩ của nghiên cứu sinh Phạm Thị Ngân, sinh ngày 18/07/1983, tại Quảng Ninh. Tên đề tài luận án: “Nghiên cứu cải tiến phân lớp đa nhãn văn […]

     Khoa Cơ học kỹ thuật và Tự động hóa, Trường Đại học Công nghệ, Đại học Quốc gia Hà Nội tổ chức đánh giá luận án tiến sĩ cấp cơ sở của Nghiên cứu sinh Trần Quốc Quân, sinh ngày 15/05/1990, tại Hà Tĩnh. Đề tài:  Phân tích ổn định tĩnh và đáp […]

      Khoa Công nghệ Thông tin, Trường Đại học Công nghệ, Đại học Quốc gia Hà Nội tổ chức đánh giá luận án tiến sĩ cấp cơ sở của Nghiên cứu sinh Vũ Thị Đào, sinh ngày 01/05/1982, tại Thái Bình. Đề tài: Các kỹ thuật sinh dữ liệu kiểm thử tự động […]