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.
-
Archives
- May 2013
- April 2013
- March 2013
- January 2013
- December 2012
- November 2012
- October 2012
- July 2012
- June 2012
- May 2012
- April 2012
- March 2012
- February 2012
- December 2011
- November 2011
- October 2011
- September 2011
- August 2011
- July 2011
- June 2011
- April 2011
- March 2011
- February 2011
- January 2011
- December 2010
- November 2010
- October 2010
- September 2010
- August 2010
- July 2010
- June 2010
- May 2010
- April 2010
- March 2010
- February 2010
- December 2009
- November 2009
- October 2009
- September 2009
- August 2009
- July 2009
- June 2009
- May 2009
- April 2009
- March 2009
- January 2009
- December 2008
- November 2008
- September 2008
-
Meta