Ngôn ngữ Tiếng ViệtTên đề tài: Phân tích chương trình tĩnhTập thể hướng dẫn: TS. Nguyễn Trường Thắng, PGS. TS. Lê Trọng VĩnhNăm bắt đầu: 2013Bậc đào tạo: Tiến sĩ