Danielle Stewart, Ph.D.
Dr. Danielle Stewart is the principal investigator for Adventium Lab's Army Phase II SBIR, GUMBO, developing advanced methods for behavior modeling.
Danielle earned a Ph.D. at the University of Minnesota and wrote her dissertation on the use of formal methods in the safety analysis of critical systems. Her research focuses on leveraging inductive model checking techniques, SMT solvers, and counterexample generation to provide meaningful, useful, and scalable safety relevant artifacts for critical system engineering and analysis.
During her Ph.D. research, Danielle worked closely with Collins Aerospace as well as the German Aerospace Center (DLR) applying her research to various aerospace projects. This included the generation of safety relevant artifacts used in flight certification of unmanned aerial vehicles (UAVs), incorporation of human behavior in formal analysis, and general support for MBSA.