PaoLo MaSCi

Paolo Masci is a post-doc research assistant at Queen Mary University of London. He is currently working in CHI+MED, a research project funded by the Engineering and Physical Sciences Research Council (EPSRC) that aims to make medical devices safer. He is using mathematical logic and automated reasoning tools to model and analyse the situated use of healthcare technologies and artefacts in order to understand how the system design can be improved to support actual and best practices. From 2004 to 2010, he worked at the Department of Information Engineering of the University of Pisa, and at the Institute of Science and Technologies of the Italian National Research Council. During the last few years, he was involved, among others, in the FP7 EU Project ``Connect'', whose aim is to enable long-lasting inter-operation in evolvable networks, and in the FP6 EU Network of Excellence ``ReSIST'', which promoted the dissemination of the resilience culture in university curricula and in engineering best practices.

Automated Reasoning, Interactive Systems Design, Dependability Analysis, Wireless Sensor Networks, Program Analysis.

Paolo Masci has served as reviewer for the following journals:
The Computer Journal (2010-2011)
ACM Transactions on Autonomous and Adaptive Systems (2010)
Pervasive and Mobile Computing (2007)
International Journal of Sensor Networks (2007)

Paolo Masci has also served as reviewer for the following Conferences and Workshops:
EWDC2011 (European Workshop on Dependable Computing), ADSN2011 (Intl. Workshop on Assurance in Distributed Systems and Networks), PDS2010 (Performance and Dependability Symposium), EFTA2010 (IEEE Intl. Conf. on Emerging Technologies and Factory Automation), SRDS2009 (Intl. Symposium on Reliable Distributed Systems), EW2007 (European Wireless Conference), M-CSC2007 (Mosharaka Intl. Conference on Communication Systems and Circuits), ICNS2006 (Intl. Conference on Networking and Services), HiPEAC2005 (Intl. Conf. on High Perf. Embedded Architectures & Compilers)