Lịch làm việc

Thư viện ảnh

  • 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 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
  • 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
  • NCS. Đào Văn Thành
  • NCS. Trương Hải Hà
  • 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
  • Viện Công nghệ thông tin ký kết hợp đồng
  • Buổi gặp mặt đầu xuân Đinh Dậu 2017
  • 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”
  • 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
  • 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 @ XX
  • Lễ bổ nhiệm
  • 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
  • Viện Công nghệ thông tin hợp tác với đối tác ngoài nước
  • NCS. Nguyễn Quỳnh Diệp
  • 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 thảo Quốc gia về Công nghệ thông tin lần thứ XVIII
  • Hội thảo Quốc Gia lần thứ XVIII về CNTT
  • Viện CNTT làm việc với Công ty Cổ phần Mía đường Lam Sơn
  • 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
  • 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
  • NCS. Vũ Đức Quả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
  • Viện Công nghệ thông tin hợp tác với đối tác ngoài nước
  • 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
  • Viện Công nghệ thông tin hợp tác với đối tác ngoài nước

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.