Contact Information
Paolo Masci
Research Scientist, Associate Principal
Analytical Mechanics Associates (AMA)
Safety Critical Avionics Systems Branch
NASA Langley Research Center, B1230-R250-C21
Hampton, VA, 23681-2199, USA
Email: paolo.masci@ama-inc.com
Google Scholar: Paolo Masci
Scopus: 55633702700
Orcid: 0000-0002-0667-7763
DBLP: Paolo_Masci_0001
Biography
Paolo Masci is a Research Scientist (Associate Principal) with Analytical Mechanics Associates (AMA) at NASA Langley Research Center (NASA LaRC). He received his PhD in Information Engineering from the University of Pisa, Italy, in 2008. His expertise is on modeling and verification of human-machine interfaces in safety-critical systems. At NASA LaRC, Paolo is working on topics related to Urban Air Mobility (UAM) and Advanced Air Mobility (AAM) within the Air Mobility Pathfinders (AMP) project, in particular formal analysis of traffic alerting logic and resolution guidance, fast-time simulation of UAM/AAM flight scenarios, and rapid prototyping of assistive detect-and-avoid applications for pilots in the cockpit. Prior to joining NASA LaRC, Paolo developed his career in various universities and research institutions, including the University of Pisa (Italy), Queen Mary University of London (UK), and University of Minho (Portugal). Since 2010, he has been working in close collaboration with medical device manufacturers, hospitals, and medical device regulatory authorities, to carry out applied research on medical devices, e.g., see his publications on infusion pump software research carried out in collaboration with the FDA Center for Devices and Radiological Health.
Awards
Current Research Interests
Rapid prototyping of next-gen cockpit display systems
Rapid prototyping is a development method for fast exploration of design solutions. It involves creating exemplars of the system that can be easily modified and instrumented for assessing different features and combinations of functionalities at reduced cost and time. At NASA LaRC, Paolo Masci is using interactive simulations as rapid prototyping technology, and he is leading the development of DAA-Displays, a rapid prototyping toolkit for exploring the design of next-gen cockpit display systems with Detect-And-Avoid (DAA) functions.
Development of next-generation theorem proving technologies
Theorem proving is a verification technology used by engineers for checking the quality of safety-critical systems using mechanized mathematical proofs. Using a theorem prover usually requires advanced mathematical knowledge and analytical skills, which can result in a steep learning curve for engineers. At NASA LaRC, Paolo Masci is leading the development of VSCode-PVS, a new integrated development environment designed to facilitate the use of the PVS theorem proving system. VSCode-PVS integrates PVS in Visual Studio Code, and better aligns the functionalities of the PVS front-end to development environments for programming languages such as Typescript, Java, and C++.
Publications
Paolo Masci has published 80+ peer-reviewed articles over the past ten years. The full list of publications is available on Google Scholar and Scopus
Recent Papers
V Carreño, M Moscato, P Masci, A Dutle
18th International Conference on Formal Aspects of Component Software (FACS), 2022
[PDF] [BibTex]
P Masci
Journal of Logical and Algebraic Methods in Programming (JLAMP), 2022
[PDF] [BibTex]
V Carreño, P Masci, M Consiglio
41st Digital Avionics Systems Conference (DASC), 2022
[PDF] [BibTex]
P Masci, A Dutle
14th NASA Formal Methods Symposium (NFM), 2022
[PDF] [BibTex]
J Tanner Slagel, C Muñoz, S Balachandran, M Moscato, A Dutle, P Masci, L White
11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP), 2022
[PDF] [BibTex]
P Masci, S Weininger
Biomedical Instrumentation & Technology 55 (4), 132-142, 2021
>> This article is featured in the March 2022 AAMI News column "Setting the Stage for the Next Generation of Medical Devices" <<
[PDF] [BibTex]
MD Harrison, P Masci
IFIP Conference on Human-Computer Interaction (INTERACT), Lecture Notes in Computer Science, vol 13198, 316-328, 2021
[PDF] [BibTex]
T Mentler, P Palanque, MD Harrison, KV Laerhoven, P Masci
Front matter of the book "Sense, Feel, Design: IFIP Conference on Human-Computer Interaction (INTERACT)", Lecture Notes in Computer Science, vol 13198, 281-289, 2021
[PDF] [BibTex]
MD Harrison, P Masci, JC Campos
Interacting with Computers 33 (1), 55-72, 2021
[PDF] [BibTex]
Selected Papers
P Masci, S Weininger
Biomedical Instrumentation & Technology 55 (4), 132-142, 2021
[PDF] [BibTex]
Y Zhang, P Masci, P Jones, H Thimbleby
Biomedical Instrumentation & Technology 53 (3), 182-194, 2019
[PDF] [BibTex]
P Masci, Y Zhang, P Jones, P Curzon, H Thimbleby
ETAPS/FASE, Lecture Notes in Computer Science, Springer 8411, 2014
[PDF] [BibTex]
P Masci, P Curzon, M Harrison, A Ayoub, I Lee, H Thimbleby
ACM SIGCHI Symposium on Engineering Interactive Computing Systems, 81--90, 2013
[PDF] [BibTex]
Tools
P Masci, CA Muñoz
Intl. Conference on Tests and Proofs (TAP), Springer LNCS, vol 12165, 155-166, 2020
[PDF] [BibTex]
P Masci, CA Muñoz
F-IDE Workshop, EPTCS, vol 310, 35-49, 2019
[PDF] [BibTex]
P Masci, P Oladimeji, Y Zhang, P Jones, P Curzon, H Thimbleby
27th International Conference on Computer Aided Verification (CAV), Springer LNCS, vol 9206, pp 470-478, 2015
[PDF] [BibTex]
Recent Refereeing Activity
Journals
Conferences
Workshops