Marieke Huisman will give an invited talk at the iFM PhD Symposium. The title of her presentation is "A verification journey: from sequential Java programs to massively-parallel GPU code".