Doctoral Student in Computer Science; Useful Program Analysis (Lund University Department of Computer Science)