Maja Hanne Kirkeby successfully defended her PhD thesis “Probabilistic program analysis” on 18th June 2018.  The work was partly based on research carried out in the ENTRA project.