Academic Service


I am a member of the SIGPLAN executive committee, of SIGPLAN CARES, and a mentor in the SIGPLAN Long-term mentoring program.

I have given invited talks at a number of conferences, including VMCAI’25, ETAPS’22, POPL’22, MFCS 2019, FSCD 2017, and CSL 2016. I have participated on many program committees and organized a range of events, including serving as the general chair of FLOC 2022. A complete list of my activities can be found in my CV.

I am very fortunate to have collaborated with many wonderful people in my career, see below for the list of my co-authors!

Collaborators