My PhD thesis won the 2023 ETAPS doctoral dissertation award.