Computer Lab PhD scoops EAPLS Best PhD Dissertation Award 2010
Dr Alexey Gotsman has been named the winner of the European Association for Programming Languages and Systems's Best Dissertation Award 2010 for his dissertation on logics and analyses for concurrent heap-manipulating programs.