Many congratulations to Daiva Naudžiūnienė, who very successfully defended her PhD thesis, An Infrastructure for Tractable Verification of JavaScript Programs on Monday 1st March.

Also many thanks to Matthew Parkinson, Tamara Rezk and Susan Eisenbach who acted as the examiners.