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 techniques for verification and validation of high-assurance medical device systems. Since 2012, I am 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 in use in hospitals across the US and EU. 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 also 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 (R-00G-VYY), 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

Events coming up:
- Safety of Human-Machine interfaces in Medical Devices, invited talk at P.I.S.A. Innova Salute, Oct 27, 2017, Pisa, Italy
- Workshop Formal Integrated Development Environment (F-IDE2018), co-located with FM 2018, July 14, 2018, Oxford, UK

Recent events:
- 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