PhD student in computer science, working on program verification and compilation by abstract interpretation.