Craig Liu won second place in the undergraduate category of the ACM Grand Finals SRC for his work on fractional permissions for gradual verification, congrats! :sparkles: