Post

🏆 Gilles Barthe, Juan Manuel Crespo, and César Kunz win the #FMELucas Award for their paper “Relational Verification Using Product Programs”. 🗓️ Years later, their research continues to have a profound impact on modern computer science. Congratulations on this recognition! 🔗 c.madrid/rho90