I am a Senior Research Scientist with Stevens Institute of Technology. I have been the Principal Investigator (PI) on 20 System Engineering Research Center (SERC) research tasks for both US Navy NAVAIR, US Army DEVCOM, US Space Force and DoD on Systems Engineering Transformation through Model-Centric Engineering. I also was PI on a FAA NextGen and National Institute of Standards and Technology projects and has received research funding from the National Science Foundation. I developed and teach a course on Systems Engineering for Cyber Physical Systems. I am a member of the SERC Research Council, member of OpenMBEE leadership team and core member of the Semantic Technologies for Systems Engineering initiative, which is not affiliated with the INCOSE MBSE Patterns Working Group.Prior to joining Stevens in 2011 I had more than twenty five years of software systems engineering experience. I'm involved in research in the areas of formal methods, Bayesian net modeling, model-driven engineering (MDE), modeling and simulation, the application of visualization and computation, and complex adaptive systems. I teach MDE courses for SW, V&V and systems engineering. I am an innovator of advanced V&V tools that have enabled the practical application of formal methods for model-based development and V&V. I’ve developed products and helped companies integrate model-based test automation tools with other life cycle tool environments leveraging tool chains for model-based engineering, analysis and formal V&V methods for software-intensive systems. I have worked side-by-side project teams helping them learn, pilot, adopt, adapt, develop, verify and validate methods, processes and technology for real-time, trusted and safety-critical systems. These efforts focused on using a constructive approach to V&V promoting best practices while leveraging emerging technologies such as modeling and simulation for early validation of requirements and derived requirements. I help organization incorporate design-for-testability principles into the architecture and design required to support model-based test automation, providing requirement-to-test traceability, and measures of model and test-code coverage.Specialties: Digital Engineering, Model-Based Systems Engineering, Modeling, Bayesian Nets, formal methods, requirements engineering, verification and validation, software safety, security, software reliability, automatic test vector generation, and measurement.