Lịch làm việc

Thư viện ảnh

  • Hội thảo @ XX
  • NCS. Đào Văn Thành
  • 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 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
  • 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
  • Gặp mặt đầu xuân 2019
  • Viện Công nghệ thông tin ký kết hợp đồng
  • 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ễ 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
  • NCS. Đặng Thanh Chươ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
  • 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
  • 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à
  • 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
  • NCS. Nguyễn Quỳnh Diệp
  • Về nguồn Khu di tích lịch sử Công an nhân dân
  • 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 kỷ niệm 40 năm ngày thành lập Viện Công nghệ Thông tin
  • Ảnh 1
  • Viện CNTT làm việc với Công ty Cổ phần Mía đường Lam Sơ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
  • 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 hợp tác với đối tác ngoài nước
  • Hội thảo Quốc Gia lần thứ XVIII về CNTT
  • 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

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.