text: В диссертации Радия Кузо предложила формализацию семантики, схемы доказательств и методы статического анализа для конкурентных и параллельных программ В 2013 Радия и Патрик Кузо получили награду ACM SIGPLAN Programming Languages Achievement Award за достижения в теории языков программирования и аналогичную награду IEEE Computer Society Harlan Mills Award «за изобретение абстрактной интерпретации, разработку программного обеспечения и практическое их применение».