Sáng ngày 22/01/2025, hội thảo khoa học với chủ đề “QRAT: A Reachability Analysis Tool for Quantum Programs” đã diễn ra thành công tốt đẹp tại Hội trường A, Viện Khoa học Kỹ thuật Bưu điện.
Buổi hội thảo vinh dự được trình bày bởi Trợ lý Giáo sư, Tiến sĩ Đỗ Minh Cảnh – chuyên gia hàng đầu về khoa học máy tính, kỹ thuật phần mềm, thuộc Trường Khoa học Thông tin, Viện Khoa học Công nghệ Tiên tiến Nhật Bản (JAIST). Chương trình được điều phối bởi PGS.TS Ngô Quốc Dũng, mang đến không khí học thuật sâu sắc và cởi mở.
Điểm nhấn hội thảo:
Giới thiệu công cụ QRAT – một giải pháp phân tích khả năng tiếp cận đầy tiềm năng trong lập trình lượng tử.
Chia sẻ kiến thức mới mẻ, đột phá về lĩnh vực chương trình lượng tử, mở ra hướng đi đầy triển vọng trong tương lai.
Phần hỏi đáp sôi nổi, kết nối giữa diễn giả và người tham dự, làm rõ nhiều vấn đề chuyên môn và thực tiễn.
Buổi hội thảo đã thu hút sự tham gia đông đảo của các thầy cô, nghiên cứu sinh và sinh viên đam mê lĩnh vực công nghệ và khoa học máy tính. Đây là cơ hội quý báu để học hỏi và cập nhật những kiến thức tiên tiến từ các chuyên gia quốc tế.
Xin chân thành cảm ơn Trợ lý Giáo sư Tiến sĩ Đỗ Minh Cảnh đã mang đến một chương trình bổ ích, truyền cảm hứng cho cộng đồng nghiên cứu khoa học. Cảm ơn tất cả quý thầy cô, các bạn nghiên cứu sinh và sinh viên đã tham dự và tạo nên thành công của buổi hội thảo.
Dưới đây là một số hình ảnh đáng chú ý của buổi hội thảo:
