← Về trang chính1 tin
Thứ Sáu, 4 thg 9, 2026
Tôi cùng cộng sự sắp công bố một bài báo tại EuroSys 2026 về việc áp dụng formal methods vào hạ tầng cloud. Chúng tôi đã phát hiện các lỗi nghiêm trọng, ghi lại toàn bộ quá trình thực hiện và đưa ra các hướng dẫn thực tế để triển khai. Tôi rất tự hào về công trình này, nhưng nó cũng đã trở nên lỗi thời ngay lập tức.