Applying for doctoral study, 2027 entry, in program analysis and software reliability; seeking a funded MPhil / PhD position. I'd welcome correspondence with faculty supervising or recruiting in these areas.