Academic ServicesHoạt động học thuật

I serve on program committees and review for conferences in artificial intelligence, machine learning, multi-agent systems, data mining, software engineering, programming languages, and formal verification. Earlier reviewing was done during my PhD and postdoctoral years in programming-language theory and verification; recent service follows the shift of my research toward safe and reliable AI systems.

Tôi tham gia ban chương trình và phản biện cho các hội nghị về trí tuệ nhân tạo, học máy, hệ đa tác tử, khai phá dữ liệu, kỹ thuật phần mềm, ngôn ngữ lập trình và kiểm chứng hình thức. Các hoạt động phản biện trước đây diễn ra trong thời gian tôi làm nghiên cứu sinh và nghiên cứu sau tiến sĩ về lý thuyết ngôn ngữ lập trình và kiểm chứng; các hoạt động gần đây đi theo sự chuyển hướng của nghiên cứu của tôi sang các hệ thống AI an toàn và đáng tin cậy.