Chiều ngày 12/01/2026, Trường Đại học Công nghệ Thông tin và Truyền thông Việt – Hàn (VKU), Đại học Đà Nẵng đã tổ chức Hội thảo khoa học với chủ đề “Workshop on Formal Methods, Program Analysis, and Cyber Security Applications”. Sự kiện là hoạt động học thuật có ý nghĩa thiết thực, góp phần thúc đẩy trao đổi chuyên môn, cập nhật các xu hướng nghiên cứu mới trong các lĩnh vực phương pháp hình thức, phân tích chương trình và an toàn – an ninh mạng, đồng thời tăng cường kết nối hợp tác quốc tế trong đào tạo và nghiên cứu khoa học của Nhà trường.

Toàn cảnh chương trình workshop

Tham dự workshop, về phía các diễn giả có GS. Mizuhito Ogawa, GS. Shoji Yuen và PGS. Nguyễn Vân Anh đến từ Mạng lưới Old Teacher Network (OTN) và Viện Khoa học và Công nghệ Tiên tiến Nhật Bản (JAIST), Đại học Nagoya và Đại học Quốc gia Yokohama, Nhật Bản. Về phía VKU có TS. Trần Thế Sơn – Phó Hiệu trưởng Nhà trường; đại diện lãnh đạo các phòng, khoa chuyên môn, cùng hơn 250 sinh viên đại học và học viên cao học tham dự, thể hiện sự quan tâm lớn của cộng đồng học thuật VKU đối với các chủ đề nghiên cứu chuyên sâu, mang tính thời sự và có giá trị ứng dụng cao.

Các diễn giả trình bày báo cáo trong workshop

Trong khuôn khổ workshop, các diễn giả đến từ các trường ĐH uy tín Nhật Bản đã trình bày nhiều báo cáo chuyên sâu, tập trung vào các phương pháp hình thức trong đặc tả và kiểm chứng hệ thống, kỹ thuật phân tích chương trình nhằm phát hiện lỗi, lỗ hổng bảo mật, cũng như các ứng dụng cụ thể trong lĩnh vực an ninh mạng. Các nội dung được trình bày không chỉ mang tính học thuật cao mà còn gắn với các bài toán thực tiễn, giúp sinh viên có cái nhìn toàn diện về xu hướng nghiên cứu về an toàn thông tin hiện nay, cũng như những thách thức và cơ hội trong việc ứng dụng các phương pháp tiên tiến vào phát triển hệ thống phần mềm an toàn và tin cậy.

Sinh viên tham gia giao lưu hỏi đáp

Workshop cũng dành nhiều thời gian cho hoạt động thảo luận, trao đổi học thuật giữa các diễn giả, giảng viên, nghiên cứu viên và sinh viên VKU. Thông qua các phiên hỏi – đáp, người tham dự đã có cơ hội tiếp cận sâu hơn với các hướng nghiên cứu mới, đồng thời định hướng rõ hơn cho việc học tập, nghiên cứu và phát triển chuyên môn trong các lĩnh vực liên quan. Đặc biệt, workshop đã tạo môi trường học thuật cởi mở, khuyến khích sinh viên và học viên cao học mạnh dạn trao đổi, đặt câu hỏi và kết nối với các nhà khoa học quốc tế.

Việc tổ chức Workshop on Formal Methods, Program Analysis, and Cyber Security Applications tiếp tục khẳng định định hướng phát triển của VKU là xây dựng môi trường học thuật chuẩn quốc tế, gắn đào tạo với nghiên cứu khoa học và đổi mới sáng tạo. Đây cũng là minh chứng cho nỗ lực của Nhà trường trong việc mở rộng hợp tác quốc tế, nâng cao chất lượng đào tạo và nghiên cứu trong các lĩnh vực mũi nhọn của công nghệ thông tin, an toàn – an ninh mạng, qua đó từng bước khẳng định vị thế của VKU trong hệ thống giáo dục đại học và nghiên cứu khoa học trong nước và khu vực.

Trung tâm Học liệu và Truyền thông

Một số hình ảnh:

170 Views