Paolo Masci
Principal Scientist at Analytical Mechanics Associates
Hampton, Virginia, United States
Summary
👤
Senior🎓
Top SchoolPaolo Masci is a Principal Scientist with over a decade of experience applying formal mathematical methods to the verification and validation of human-machine interfaces in safety-critical aerospace and medical systems. He has led multidisciplinary teams and NASA- and FDA-facing research to create practical, next-generation verification tools and rapid-prototyping technologies that bridge academic rigor and industrial deployment. Paolo’s work spans avionics for UAM/AAM and medical device interfaces, including hands-on roles as an external assessor for regulators (MHRA) and a visiting researcher at the FDA, giving him rare visibility into both development and regulatory review. With a PhD in Information Engineering from the University of Pisa, he combines deep formal-methods expertise with a track record of translational impact—training clinicians, regulators, and industry engineers to spot latent design defects before they reach users.
11 years of coding experience
19 years of employment as a software developer
PhD, Information Engineering, PhD, Information Engineering at Università di Pisa
English, Italian, Portuguese
Github Skills (9)
websocket8
nodejs8
realtime7
verification7
javascript7
typescript6
tlaplus6
laravel6
php5
Programming languages (2)
Github contributions (5)
PaoloMasci/pvsio-web
Jan 2015 - Mar 2018
Contributions:34 pushes, 3 branches in 3 years 2 months
model-basedmachine-learningformalmodel-based-developmentinterfaces
PaoloMasci/PVS
Aug 2015 - Jan 2017
Contributions:20 pushes, 3 branches in 1 year 5 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.