Thông tin chung

Presenter: Dr. Phạm Ngọc Hùng Project: Assume-Guarantee Verification of Evolving Component-Based Software Time: 14h00 ~ 15h00, ngày 30/9/2009 (Wednesday) Location: Room 312, E3. Abstract: Assume-guarantee verification method has been recognized as a promising approach to verify component-based software (CBS) with model checking. The method is not only fitted to component-based software but also has a potential […]

  The Symposium will take place at the Japan Advanced Institute of Science and Technology (JAIST), Ishikawa,  Japan. The principal aim of the Symposium is to provide a forum for exchanges of research results, ideas for and experience of application among researchers and practitioners involved with all aspects of uncertainty management. The time of the […]

Ban Chủ nhiệm Khoa trân trọng kính mời tất cả các anh chị em sinh viên, học viên cao học đã và đang theo học các hệ và chương trình đào tạo của Khoa về tham dự Lễ kỷ niệm ngày thành lập Khoa. Khoa CNTT rất hân hạnh được đón nhận mọi sự quan tâm, ủng hộ về tinh thần và vật chất.. Thời gian: Bắt đầu từ 8h00 ngày 10/12/2010.

I.    TIÊU CHUẨN ĐƯỢC LÀM KLTN−    Không nợ môn:            Điểm trung bình ≥ 5.5−    Số đvht nợ từ 1 đến 4        Điểm trung bình ≥ 6.0−    Số đvht nợ từ 5 đến 8        Điểm trung bình ≥ 6.5−    Các sinh viên không đạt tiêu chuẩn trên nhưng nếu có nguyện vọng […]

Được sự tài trợ bởi Bộ Công thương và Bộ Giáo dục – Khoa học Nhật bản trong chiến lược tổng thể phát triển nguồn nhân lực châu Á cho các doanh nghiệp Nhật, Khoa Công nghệ Thông tin, Viện Khoa học và Công nghệ Tiên tiến Nhật bản (Japan Advanced Institute of Science and […]

Gửi: Ban cán sự các lớp K51Hiện nay môn học thực tập chuyên ngành đã được triển khai, đề nghị Ban cán sự các lớp tiếp tục thông báo nội dung sau đến toàn thể sinh viên trong lớp:−    Nhắc các sinh viên chưa nhận đề tài cần khẩn trương liên hệ giáo viên hướng […]

Bộ môn công nghệ phần mềm tuyển 05 sinh viên năm thứ 3 và thứ 4 vào nhóm sinh viên nghiên cứu khoa học và kết hợp trong dự án nghiên cứu với công ty Mitani. Yêu cầu chính: – kỹ năng lập trình Java tốt – đọc được tốt tài liệu tiếng Anh – điểm trung bình […]

Ngày 07/05/2009, Chi bộ Đảng Khoa Công nghệ thông tin đã tổ chức lễ kết nạp cho quần chúng Nguyễn Đình Tư – sinh viên K51CA. Tới dự lễ kết nạp có PGS. TS. Hà Quang Thụy, phó bí thư Đảng ủy trường Đại học Công Nghệ. Trong nghi thức trang trọng, đông chí Đảng […]

Chiều 5/3, Trường Đại học Công nghệ ĐHQG Hà Nội đã tổ chức tuyên dương, khen thưởng sinh viên và các thầy cô giáo tham gia các đội tuyển dự thi các kỳ thi Olympic Tin học sinh viên Việt Nam và Kỳ thi lập trình sinh viên quốc tế ACM/ICPC năm 2008. Tới dự […]

Ngày 12/02/2009 Trường Đại học Công nghệ đã tổ chức buổi họp giữa PHT. Hà Quang Thụy (cùng đại diện Ban Chủ nhiệm Khoa Công nghệ thông tin, Ban điều hành Dự án, Chủ nhiệm lớp) với toàn thể sinh viên lớp cử nhân 16+23 KHMT. Đây là một trong nhiều nội dung hoạt động […]

Chủ đề: Một số kết quả nghiên cứu về tổng hợp và phân tích tiếng nói tiếng Việt.Người trình bày: PGS. TS. Lương Chi Mai, Viện Công Nghệ Thông Tin, Viện Khoa Học và Công Nghệ Việt Nam.Thời gian: 8h30 sáng thứ 4, ngày 18/2/2009Địa điểm: 212-E3 Seminar Convener:TS. Lê Anh Cường 

  PhD scholarships in Speech Processing at NTU, Singapore http://www3.ntu.edu.sg/home/aseschng/SpeechTechWeb/news/news.htm The Centre for Language Studies (CLS) of the Radboud University Nijmegen invites applications for two PhD positions in computational linguistics (for 3,5 years). Job descriptionThe PhD projects are part of a larger research program 'A computational model of language acquisition'. The goal of this research […]

Bộ môn Công Nghệ Phần Mềm xin mời các cán bộ Khoa CNTT, các thày/cô và học viên cao học có quan tâm tham dự seminar khoa học:–    Người trình bày:    TS. Phạm Ngọc Hùng–    Đề tài:        Assume-Guarantee Verification of Evolving Component-Based Software–    Thời gian: 14h00 ~ 15h00, ngày 30/9/2009 (thứ tư)–    Địa điểm: […]

Tại Hà Nội, Tiến sỹ Vũ Minh Khương, giảng viên nhà trường sẽ có buổi báo cáo và giải đáp thắc mắc:   Thời gian: 8h30 thứ 7 26/07/2008   Địa điểm: Khách sạn Melia, 44B Lý Thường Kiệt   Lee Kuan Yew School of Public Policy (Trường chính sách công Lee Kuan Yew) thuộc National University […]

Tiếp nối thành tích của đội tuyển Chicken và đội tuyển Dragon Coder trong kỳ thi lập trình sinh viên quốc tế ACM/ICPC năm 2006 và 2007, năm nay, bốn đội tuyển của Trường tham gia vào loại khu vực Châu Á, điểm thi TP. Hồ Chí Minh đều đạt thứ hạng cao trong đó […]

Nhân dịp tới Việt Nam tham gia phỏng vấn tuyển sinh cho Chương trình Học bổng Đào tạo Tiến sỹ của Quỹ Giáo dục Việt Nam (VEF), GS John E. Hopcroft (Đại học Cornell – Hoa Kỳ), một chuyên gia hàng đầu Thế giới trong lĩnh vực Công nghệ Thông tin của sẽ có buổi […]

Từ ngày 11/8 đến 27/8, Giáo sư Wei-Ngan Chin, Phó trưởng khoa Khoa Học Máy Tính, Trường ĐH Quốc Gia Singapore (NUS) có chuyến thăm và làm việc tại Bộ môn Công nghệ phần mềm, Khoa CNTT, Trường ĐH Công Nghệ.  Trong thời gian này, giáo sư sẽ giảng một khóa học ngắn với tiêu đề "Automated Software Verification" (kiểm chứng phần […]

Ngày 24/3/08, Khoa CNTT đã tổ chức “Hội nghị ghiên cứu khoa học của sinh viên” năm 2008. Hội nghị được tổ chức thành 3 tiểu ban với 14 báo cáo khoa học.

Sáng ngày 19/12, Trường Đại học Công nghệ (ĐHCN) đã tổ chức “Hội nghị tập huấn công tác quản lý đề tài và quản lý thiết bị khoa học công nghệ năm 2007”   Tham dự Hội nghị, về phía ĐHQGHN có TSKH. Nguyễn Đình Đức, Trưởng Ban Khoa học Công nghệ (KHCN) cùng đại […]

Chiều ngày 06/11/2007, tại Hội trường 212-E3, Trường Đại học Công nghệ, Công ty TNHH Fujitsu Việt Nam đã trao học bổng cho hai sinh viên có thành tích học tập và rèn luyện tốt của ngành Công nghệ Thông tin: Phạm Tuấn Hưng và Tô Hồng Thắng.   Phạm Tuấn Hưng có điểm trung […]