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).

Fabio Martinelli, senior researcher of the Institute of Informatics and Telematics of the Italian National Research Council, Pisa, and founder of the ERCIM Working Group on Security Trust and Management, has been appointed Chair of the WG3 working group on “Secure ICT Research and Innovation”. The group is part of the Network and Information Security (NIS) public private Platform. It will provide input on how to improve cybersecurity risk management and information sharing to the European Commission and will contribute to devising the European secure ICT research and Innovation agenda. The kickoff meeting took place in Brussels in late September and attracted participants from the public sector (national authorities, research agencies) and the private sector (companies working in ICT, finance, post, transport, healthcare, defence and energy).

https://ec.europa.eu/digital-agenda/en/news/nis-platform-kick-meeting-working-groups