• Ảnh 1
  • 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
  • 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
  • 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 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
  • 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 ký kết hợp đồng
  • Viện Công nghệ thông tin ký kết hợp đồng
  • 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”
  • 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 Quốc gia về Công nghệ thông tin lần thứ XVIII
  • 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
  • Lễ bổ nhiệm
  • 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
  • Viện Công nghệ thông tin ký kết hợp đồng
  • NCS. Đào Văn Thành
  • Ảnh 2
  • 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 kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • 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 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
  • 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
  • Buổi gặp mặt đầu xuân Đinh Dậu 2017
  • Viện Công nghệ thông tin ký kết hợp đồng
  • NCS. Vũ Đức Quảng
  • NCS. Trương Hải Hà
  • NCS. Đặng Thanh Chương
  • Hội thảo @ XX
  • 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
  • Gặp mặt đầu xuân 2019
  • 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

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.