Submitted by Jan Samols on Mon, 11/04/2011 - 13:21
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.