• Hội thảo “Giải pháp hạ tầng công nghệ thông tin cho mô hình kinh doanh mới”
  • Hội thảo Quốc gia về Công nghệ thông tin lần thứ XVIII
  • Buổi gặp mặt đầu xuân Đinh Dậu 2017
  • Ảnh 2
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Viện Công nghệ thông tin ký kết hợp đồng
  • NCS. Nguyễn Quỳnh Diệp
  • Lễ ký kết hợp tác đào tạo và nghiên cứu khoa học giữa Viện Công nghệ thông tin và Học viện An ninh nhân dân
  • Hội chợ Techmart 2016
  • Hội thảo Quốc Gia lần thứ XVIII về CNTT
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Hội thảo Quốc Gia lần thứ XVIII về CNTT
  • Viện Công nghệ thông tin hợp tác với đối tác ngoài nước
  • NCS. Trương Hải Hà
  • NCS. Đặng Thanh Chương
  • Lễ ký kết hợp tác đào tạo và nghiên cứu khoa học giữa Viện Công nghệ thông tin và Học viện An ninh nhân dân
  • Ảnh 1
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Viện Công nghệ thông tin hợp tác với đối tác ngoài nước
  • Lễ ký kết hợp tác đào tạo và nghiên cứu khoa học giữa Viện Công nghệ thông tin và Học viện An ninh nhân dân
  • Lễ ký kết hợp tác đào tạo và nghiên cứu khoa học giữa Viện Công nghệ thông tin và Học viện An ninh nhân dân
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Viện Công nghệ thông tin ký kết hợp đồng
  • Viện CNTT làm việc với Công ty Cổ phần Mía đường Lam Sơn
  • Viện Công nghệ thông tin hợp tác với đối tác ngoài nước
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • NCS. Đào Văn Thành
  • Viện Công nghệ thông tin ký kết hợp đồng
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Viện Công nghệ thông tin ký kết hợp đồng
  • Lễ bổ nhiệm
  • Lễ ký kết hợp tác đào tạo và nghiên cứu khoa học giữa Viện Công nghệ thông tin và Học viện An ninh nhân dân
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Viện Công nghệ thông tin ký kết hợp đồng
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • NCS. Vũ Đức Quảng
  • Hội thảo Quốc Gia lần thứ XVIII về CNTT
  • Hội Thảo kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Viện Công nghệ thông tin

Sản phẩm

Đề tài cơ sở chọn lọc
CSCL’13.05
Tên đề tài Nền tảng khoa học và ứng dụng của kỹ thuật diễn giải trừu tượng trong việc phân tích chương trình
Chủ nhiệm ThS. Nguyễn Văn Trãi
Thời gian thực hiện 2013 ~ 2013
Mục tiêu
-          Cập nhật được những xu thế trên thế giới trong lĩnh vực phân tích chương trình tĩnh ứng dụng kỹ thuật diễn giải trừu tượng.
-          Nghiên cứu các kỹ thuật trong diễn giải trừu tượng.
-          Ứng dụng trong bài toán phân tích bộ nhớ chương trình sử dụng 3-valued logic và công cụ hỗ trợ mã nguồn mở TVLA.
Kết quả đạt được
o   Kiểm chứng mô hình cho mã nguồn C# : Một cách tiếp cận mô hình hóa.
o   Phương pháp phân tích chương trình tĩnh dựa trên đồ thị luồng điều khiển.