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 mềm tự động), tập trung vào 3 chủ đề:
– Fixpoint Analysis
– SMT Solvers.
Ngoài thời gian giảng bài, giáo sư sẽ có thời gian để trao đổi về các hướng nghiên cứu trong lĩnh vực kiểm chứng phần mềm nói riêng và công nghệ phần mềm nói chung. Giáo sư cũng cung cấp các thông tin về đào tạo, nghiên cứu và học bổng ở Khoa Khoa học máy tính, NUS.
Các bạn sinh viên, học viên cao học, nghiên cứu sinh có quan tâm và muốn tham dự khóa học đề nghị đăng ký với TS Trương Anh Hoàng (email: ) hoangta@vnu.edu.vn trước ngày 08/08/2008.
– Trang web của giáo sư Wei-Ngan Chin: http://www.comp.nus.edu.sg/~chinwn/ và lĩnh vực nghiên cứu: http://www.comp.nus.edu.sg/~chinwn/publ.html.
– Trang web của Khoa Khoa học máy tính, NUS: http://www.comp.nus.edu.sg/cs/index.html