Matemaatika ja informaatika PhD (informaatika, projekt: Paranduskeskne tarkvaraturve: turvaaukude paikade selgitus, testimine ja üldistamine / Towards fix-centric software security: Explaining, testing, and generalizing vulnerability remediation)