Presented my doctoral dissertation plan at FG 2023 Doctoral Consortium (website).