I hold a PhD in Information Engineering, and my current position is full-time post-doctoral researcher at HASLab/INESC TEC and Universidade do Minho (Braga, Portugal). My expertise is on tools and methods for verification and validation of high-assurance medical systems. From 2012 to 2016, I was visiting researcher at the Food and Drug Administration (FDA), the US medical device regulator. Together with the FDA and my colleagues from the CHI+MED group, we developed analysis tools and techniques that can facilitate the identification of latent software design issues in programmable medical devices -- check my YouTube video ``Design Issues in Medical User Interfaces'' for example defects discovered in commercial medical devices. Our results are currently used by regulatory authorities for the assessment of pre-market submissions, and to raise awareness about software issues in marketed devices. Hospitals are also using our results for training and to improve their procurement decisions. Since 2015, I am enrolled as external software assessor for the MHRA, the UK medical device regulator.

View my profile on Google Scholar, Orcid (0000-0002-0667-7763), Scopus (55633702700), Authenticus (55633702700)

Get in touch with me:  paolo.masci@inesctec.pt

Dr. Paolo Masci
Departamento de Informática
Universidade do Minho
Campus de Gualtar
4710-057 Braga
Portugal

Events coming up:
- Workshop on Formal Integrated Development Environment (F-IDE2018), co-located with FM 2018, July 14, 2018, Oxford, UK 

Recent events:
- Mathworks Research Summit, June 2-4, 2018, Newton, Massachusetts, MA, USA
- Workshop on Co-Simulation of Cyber-Physical Systems (CoSim-CPS), co-located with STAF 2018, June 26, 2018, Toulouse, France
- Rapid Prototyping and Formal Analysis of Interactive Systems in PVSio-web, invited talk at NIA, May 3, 2018, Hampton, VA, USA
- Workshop on Medical Cyber-Physical Systems (Med-CPS-18), co-located with CPSWeek 2018, April 10, 2018, Porto, Portugal 
- Safety of Human-Machine interfaces in Medical Devices, invited talk at P.I.S.A. Innova Salute, Oct 27, 2017, Pisa, Italy
- A Hazard Analysis Method for Early Identification of Safety Requirements for User Interface Software in Medical Devices, talk given at SEFM 2017, Sep 7, 2017, Trento, Italy
- Workshop Co-Simulation of Cyber-Physical Systems (CoSim-CPS), co-located with SEFM 2017, Sep 5, 2017, Trento, Italy
- Rapid Prototyping and Formal Analysis of Medical Systems, invited talk at Fondazione Bruno Kessler (FBK), Sep 1, 2017, Trento, Italy