Matteo Mio wins Ackermann Award

Former Laboratory for Foundations of Computer Science (LFCS) PhD student Matteo Mio will receive this year's Ackermann Award for his 2012 University of Edinburgh thesis PhD "Game Semantics for Probabilistic mu-Calculi".

The Ackermann Award is the European Association for Computer Science Logic (EACSL) Outstanding Dissertation Award for Logic in Computer Science. It is presented during the annual conference of the EACSL (CSL'xx) to be held this year in Turin, Italy.