Lịch làm việc

Thư viện ảnh

  • Viện Công nghệ thông tin hợp tác với đối tác ngoài nước
  • 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
  • Ả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 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
  • Về nguồn Khu di tích lịch sử Công an nhân dân
  • Gặp mặt đầu xuân 2019
  • 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
  • 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
  • Viện CNTT làm việc với Công ty Cổ phần Mía đường Lam Sơn
  • Hội chợ Techmart 2016
  • Viện Công nghệ thông tin hợp tác với đối tác ngoài nước
  • NCS. Vũ Đức Quảng
  • NCS. Trương Hải Hà
  • Hội thảo Quốc gia về Công nghệ thông tin lần thứ XVIII
  • 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 Quốc Gia lần thứ XVIII về CNTT
  • NCS. Đào Văn Thành
  • 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 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 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
  • 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
  • Buổi gặp mặt đầu xuân Đinh Dậu 2017
  • 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
  • Hội thảo Quốc Gia lần thứ XVIII về CNTT
  • 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
  • NCS. Đặng Thanh Chươ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

Thư viện Video

  • Viện Công nghệ thông tin

Sản phẩm

Đề tài cơ sở chọn lọc
Mã 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.