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 ATM-X 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

Recent Refereeing Activity

Journals