Announcement_4
Craig Liu won first place in the undergraduate category of the SPLASH’24 SRC for his work titled Design of Fractional Permissions for a Gradual Verifier! 
Craig Liu won first place in the undergraduate category of the SPLASH’24 SRC for his work titled Design of Fractional Permissions for a Gradual Verifier!