Murad Akhundov, my mentee, won the
POPL undergraduate student research competition
!