Bishoksan Kafle successfully defended his PhD thesis Components For Automatic Horn Clause Verification, based on work largely carried out in the context of the ENTRA project.   See here for details of the defence.