Danielle Stewart, Ph.D.
Danielle Stewart, Ph.D.
Formal Verification, Model Based Safety Analysis, Model Checking
About
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.
Education
Ph.D. in Computer Science, University of Minnesota
M.S. in Mathematics, University of Minnesota Duluth
B.S. in Mathematics, University of Minnesota Duluth
Past Work
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.
Image
