Matteo Mio

Matteo Mio, ERCIM postdoctoral fellow currently hosted by CWI and previously by Inria (and Ecole Polytechnique), received the 2013 Ackermann Award for his PhD thesis “Game Semantics for Probabilistic mu-Calculi” obtained at the University of Edinburgh in 2012 under the supervision of Prof. Alex Simpson. The Ackermann Award is the “Outstanding Dissertation Award for Logic in Computer Science” of the European Association for Computer Science Logic (EACSL). The award was presented in a ceremony during the 22nd EACSL Annual Conference on Computer Science Logic, Torino, Italy, 2-5 September 2013 (CSL’13).

Next issue: January 2023
Special theme:
"Cognitive AI & Cobots"
Call for the next issue
Image ERCIM News 96 epub
This issue in ePub format
Image ERCIM News 95 epub
This issue in ePub format
Get the latest issue to your desktop
RSS Feed
Save
Cookies user preferences
We use cookies to ensure you to get the best experience on our website. If you decline the use of cookies, this website may not function as expected.
Accept all
Decline all
Read more
Analytics
Tools used to analyze the data to measure the effectiveness of a website and to understand how it works.
Google Analytics
Accept
Decline
Marketing
Set of techniques which have for object the commercial strategy and in particular the market study.
DoubleClick/Google Marketing
Accept
Decline