October 28, 2024

Craig Liu won 🥇first place🥇 at the OOPSLA’24 Student Research Competition for his work on gradual verification!