Mục đích của chuyến thăm là trao đổi, chia sẻ và làm việc với nhóm nghiên cứu chuyên sâu về hướng nghiên cứu trong nhóm nghiên cứu chuyên sâu về An toàn và bảo mật đám mây. Trong buổi làm việc, GS đã giới thiệu nội dung nghiên cứu về phân tích mã lệnh trong các tệp nhị phân và ứng dụng trong phát hiện hành vi của mã độc. Đây là chủ đề có tính thời sự, liên ngành giữa toán học (phương pháp hình thức), an toàn thông tin, và kỹ thuật phần mềm.