On the afternoon of January 12, 2026, Vietnam – Korea University of Information and Communication Technology (VKU), The University of Danang, organized a scientific workshop entitled “Workshop on Formal Methods, Program Analysis, and Cyber Security Applications.” The event was a meaningful academic activity that contributed to promoting scholarly exchange, updating emerging research trends in the fields of formal methods, program analysis, and cyber security, while also strengthening international cooperation in education and scientific research at the University.

Overview of the workshop

Attending the workshop as keynote speakers were Prof. Mizuhito Ogawa, Prof. Shoji Yuen, and Assoc. Prof. Nguyen Van Anh from the Old Teacher Network (OTN) and the Japan Advanced Institute of Science and Technology (JAIST), Nagoya University and Yokohama National University, Japan.
On behalf of VKU, participants included Dr. Tran The Son – Vice Rector of the University, representatives of university leadership, academic departments and faculties, along with more than 250 undergraduate students and graduate students. The strong participation reflected the VKU academic community’s keen interest in advanced, up-to-date research topics with high practical applicability.

Presentations by Workshop Speakers

Within the framework of the workshop, speakers from prestigious Japanese universities delivered a series of in-depth presentations focusing on formal methods for system specification and verification, program analysis techniques for detecting errors and security vulnerabilities, as well as practical applications in the field of cyber security. The presented topics were not only highly academic in nature but also closely linked to real-world problems, providing students with a comprehensive overview of current research trends in information security, as well as the challenges and opportunities in applying advanced methods to the development of safe and reliable software systems.

Students participating in the Q&A and discussion sessions

The workshop also devoted significant time to academic discussions and exchanges among the speakers, VKU lecturers, researchers, and students. Through interactive Q&A sessions, participants had the opportunity to gain deeper insights into emerging research directions, while also clarifying their academic and professional orientations in related fields. Notably, the workshop fostered an open and dynamic academic environment, encouraging undergraduate and graduate students to actively engage, ask questions, and connect with international scholars.

The successful organization of the “Workshop on Formal Methods, Program Analysis, and Cyber Security Applications” further reaffirmed VKU’s strategic orientation toward building an international-standard academic environment, closely integrating education with scientific research and innovation. This event also demonstrated the University’s strong commitment to expanding international cooperation and enhancing the quality of education and research in key areas of information technology and cyber security, thereby gradually strengthening VKU’s position within the national and regional higher education and research landscape.

Center for Learning Resource and Communication

Some pictures:

114 Views