Gabriel Moreno is a principal researcher and the lead of the Formal Verification of Cyber-Physical Systems (FV-CPS) Initiative.During his career at the SEI, Moreno has worked on several areas including model-based analysis, software architecture, component technology, performance...
Read More →